{"entities":{"Q3509056":{"pageid":5538960,"ns":120,"title":"Item:Q3509056","lastrevid":48826342,"modified":"2026-01-05T22:57:07Z","type":"item","id":"Q3509056","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5295713"}},"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":"Q3509056$B2291083-3DDD-4DC1-8B0E-67C39501040C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"339dec5ed6d022c1985c3a5f3ac8b6e03e848925","datavalue":{"value":"1148.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3509056$3769EBE7-3AB5-4A4C-8882-4F13C61FC8B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"774710b753989b14b2830ae7350a3865712694de","datavalue":{"value":{"entity-type":"item","numeric-id":2063678,"id":"Q2063678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3509056$1CD5F209-510B-4E30-9A0C-3DC985F1A5E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3452fc2c55d5d5fb6a689b083479f84064b8692a","datavalue":{"value":{"time":"+2008-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3509056$04D6E15F-5B99-46B8-8057-02EC53D08994","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3509056$9FA0413C-DA70-47DB-9DDC-5E81353AFCD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3509056$7105B449-C719-4FF2-BEC6-1C82844DDDA2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be3a122906d3ede1b77d8de9898a62e68aa7975c","datavalue":{"value":"5295713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3509056$E67FC63E-EDF5-47BD-A88E-F88950AB8EAB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3509056$3D220D92-0BC8-44E4-A41A-ED6D49EF65FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba880b6f2c03c0e6c6b0592731050cf959f1ac09","datavalue":{"value":"logic of finite Kripke frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q3509056$0DB0BA8B-0E5D-422F-BB1F-3CB039DFA03B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26b16289305b0881e250469944c08a67ff4a3363","datavalue":{"value":"finite decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3509056$65F53DEE-72DF-424F-AFDD-99A9E8E0F92C","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":"Q3509056$F7855307-6260-4F24-A4D1-569D253D21FC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3509056","badges":[]}}}}}