{"entities":{"Q4474858":{"pageid":6504457,"ns":120,"title":"Item:Q4474858","lastrevid":109348856,"modified":"2026-11-12T05:32:39Z","type":"item","id":"Q4474858","labels":{"en":{"language":"en","value":"Algorithmic aspects of propositional tense logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2079045"}},"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":"Q4474858$8EFDBEA4-8ABB-4A4E-8FBA-DCF48B5475A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0f2cf0dd8438bd97e9f7232fbfa0aa86b88e251e","datavalue":{"value":"1044.03513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4474858$09227B85-D4DF-40AE-9869-E96C31020B4D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b54eb6f24cdec251693dac073683f53f8dacf64c","datavalue":{"value":{"entity-type":"item","numeric-id":472807,"id":"Q472807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4474858$AD5CB625-71CA-46EC-AA8D-80E8FD8ECAC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9766154da8868329ab713f56377e5e5d3217fc5","datavalue":{"value":{"entity-type":"item","numeric-id":1181480,"id":"Q1181480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4474858$69938854-DE1D-421D-B6AD-0DD37FEC3B55","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"18a59bace40a3f0c8142c2528020a58bfd2f2e43","datavalue":{"value":{"time":"+2004-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4474858$8ABD0DC3-C4F1-4223-AAD9-E9C011557019","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4474858$C713BBAE-CEE8-4E15-867D-4392AE922A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4474858$DA27CD4D-5B69-4081-AF8F-B3988B6E3591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4474858$586C443E-8154-40C8-AA82-1382E184247B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36ed48c9db6570ee4a8cc52a1672ce11b69c1461","datavalue":{"value":"2079045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4474858$02B75A55-71A8-47EC-BAFB-57AEB13F1E59","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":"Q4474858$F31C495C-820E-4136-8E0A-87A9C55A1722","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"921af7af3a1b63f4a2c6b87ac61deea8d3af4a98","datavalue":{"value":{"text":"Algorithmic aspects of propositional tense logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4474858$64735A13-0CFC-4D40-8E5F-CE6E710C1003","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c961a740027bce3bcef3fdc17a97c0035d6876e4","datavalue":{"value":"10.1007/BFB0022274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4474858$DB82DEA7-2424-43CA-B16A-0096EAEFF017","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4474858$5D0A6136-A783-4AB0-B95D-4ED8F8EBB5EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algorithmic aspects of propositional tense logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algorithmic_aspects_of_propositional_tense_logics"}}}}}