{"entities":{"Q4699305":{"pageid":6728882,"ns":120,"title":"Item:Q4699305","lastrevid":46819446,"modified":"2025-12-25T16:03:13Z","type":"item","id":"Q4699305","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1361487"}},"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":"Q4699305$F1C54779-6434-4D5C-A905-90E13D33A5AB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f4e0b7dea7f293c7aba2fa3799f36b112cfad2c5","datavalue":{"value":"0943.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4699305$B2A12604-55DE-47F5-BAD5-CABE15C44869","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2e96a8166b825564aa7d3e45e288dcc7e8fe930","datavalue":{"value":{"entity-type":"item","numeric-id":190300,"id":"Q190300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4699305$69847FA5-7565-43B1-86A7-9B9C05390744","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"229e2d23f76ddb02242aca0dcd4be23ab0b751e5","datavalue":{"value":{"time":"+2000-08-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4699305$ED40AC3D-634B-4722-966D-047C36BCDBD8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4699305$34D914F3-0825-436E-A016-2DC1448739D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4699305$94B9398B-4094-4902-A5A6-8E1BB3E19F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4699305$F294F372-487B-424E-9870-A7F481EB3971","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"54374f30585140d7627dd26ac53d2b254c407d2b","datavalue":{"value":"1361487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4699305$4F952067-00CF-40DC-9F0E-7A7C2D369601","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b00c383418dcc7f93ccd72284943d81460b3f068","datavalue":{"value":"linear time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4699305$559A9455-6F85-47EC-8811-4BFD8E68C0A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2072ac50d117917e9672f0db3614f9749d72c621","datavalue":{"value":"logic of knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q4699305$AACB3AA3-69D4-44B1-A489-67C0197E931C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4699305$17B3A2BD-68D2-4176-8718-5B317E8039D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4699305$52F6855D-3E4C-4AE3-B85B-4F4A549E4D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4699305$A5BE49D3-151D-4C0F-B8C9-BB2C0B9CA3BF","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":"Q4699305$C18B3F0E-D6EA-46F7-BB10-A28CCD79EB3F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85476dc5fbe5b0910caa0051180d744c0b7d2134","datavalue":{"value":{"entity-type":"item","numeric-id":1960421,"id":"Q1960421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6e37cedf0ee9f59681c4c41cf7f74b890c68dfd","datavalue":{"value":{"amount":"+0.8112510442733765","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4699305$BD2C5FFC-6FCA-4047-B156-AA35050400B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8100a766289475b4d6e2aaa4baea796801684cee","datavalue":{"value":{"entity-type":"item","numeric-id":4215596,"id":"Q4215596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1fe84a9a3b7c83268e7a7bada3f4446978e53f9","datavalue":{"value":{"amount":"+0.7848730087280273","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4699305$0C379C57-1A85-4598-BA8D-F96A62FAE17F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f46f602c7e8ea2d3bc2e017cd8fa1facd21218a3","datavalue":{"value":{"entity-type":"item","numeric-id":4373590,"id":"Q4373590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f6f13c3a03d72115bf325707de068c567f61520","datavalue":{"value":{"amount":"+0.7817544937133789","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4699305$A5D3F78C-BFFA-45B1-B3AB-31F5F472C490","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4699305","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4699305"}}}}}