{"entities":{"Q3955353":{"pageid":5985258,"ns":120,"title":"Item:Q3955353","lastrevid":55095265,"modified":"2026-02-03T15:28:07Z","type":"item","id":"Q3955353","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3775526"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3955353$C2CEAACC-B420-417C-8FA5-5F85E31EFAB6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"85b3fbd0435406ed9e50dff94bc00b67b037bfdd","datavalue":{"value":"0493.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3955353$DCF089FB-DA45-4F2A-B074-96CCAA24A559","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"807f67c4a614f97522f555274a10398f5d76e5f7","datavalue":{"value":{"entity-type":"item","numeric-id":626914,"id":"Q626914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3955353$314A0EF3-BB7A-4B20-A1DE-71CF5750DE78","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3955353$72DB1801-C96A-4D3C-AC6E-A4D9C097335F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"674153c9488f8b0f9e97858664bfaf3fbbbac9b1","datavalue":{"value":"03G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3955353$7CB61CCB-A183-454F-9589-97FD665E0C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3955353$065E020D-EA47-47E7-A3C5-6A0B70ABF8C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3955353$50B3B6D5-661B-43B2-9A20-114B1566C292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ff5afb9f74c3a3415ada815bc1c672499bc6e26b","datavalue":{"value":"06E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3955353$1434B0B9-C300-4123-B154-3FA782239B9A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"170b97915d7887955792ad2616231ce2376cd5d8","datavalue":{"value":"3775526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3955353$EBA92F0F-EDFD-4089-8127-657128A35613","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb267c32aa43fc9243154769f70c4c21e0f3b821","datavalue":{"value":"Boolean equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3955353$7C8C6BFE-E2C0-4C13-B6FA-D6C60C79CA94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b4fc300135272819ca8d44a23bff86b0f2235a9","datavalue":{"value":"modal logic S5","type":"string"},"datatype":"string"},"type":"statement","id":"Q3955353$B6FCA7A8-A52F-4139-9437-86C486058D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2985da0ff90d387f380165119b52158aefdd5730","datavalue":{"value":"quantifier-free fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q3955353$02AF3A0D-6285-47C1-8DAF-8849E34F285B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab4582878d3825d15c73da2f41505366d2f0764f","datavalue":{"value":"Vaught's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3955353$FF5BF5B0-63D8-4168-9727-6E586BD968C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8dc34c6721d065338d1cf309ca43540655d290e8","datavalue":{"value":"Horn sentence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3955353$11A98427-F29D-43C9-9A62-F02EA7B95BC1","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3955353$7ABB4708-1775-4D3D-9A25-1DC5754D3AA3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3955353","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3955353"}}}}}