{"entities":{"Q3835817":{"pageid":5865723,"ns":120,"title":"Item:Q3835817","lastrevid":54485114,"modified":"2026-01-27T06:34:52Z","type":"item","id":"Q3835817","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 747023"}},"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":"Q3835817$AD506E12-C1E5-4CAB-8C70-2FD81153835B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3429df90fa982f52ebfb97084a91a89607739607","datavalue":{"value":"0921.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3835817$E8EEA3F5-C96B-45F9-B1C9-32782EA76161","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"52f52b4a74ff0437e7dd7eb61fa66e063e267d4a","datavalue":{"value":{"time":"+1995-04-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3835817$079C2197-BB52-43E3-9859-78F2DAFC1CEB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3835817$762BE2F1-DFA4-4DF1-9FB5-1C7B947E9FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3835817$D50CB99C-922F-4CDD-A317-D66C063A3625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3835817$8211F8C1-0655-43CE-92EA-6FF89F0D3B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3835817$15DDB8FE-E2FF-47F9-99D8-BED05817455F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"307096a13c062f60940325ad2658d34ae746feba","datavalue":{"value":"747023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3835817$1CA85C7F-219B-4B78-99CA-1BA1F799C979","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08f0a0d846f96d0ad21fc394acb3c1906b48ab4b","datavalue":{"value":"propositional temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3835817$FE5CF8C5-92B3-45B0-8C86-16BE90B59530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2050e208b60cf98c3fa7e3f5fc4593c74dbd0bc1","datavalue":{"value":"predicate temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3835817$83AB59CD-13C1-4AE9-96BC-37A7B99166B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3835817$371BC6D6-11B9-4B5B-9AA0-DF30F73AEDDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bff6f9bc2a889a41ac634b8cf2dcddd0bbf4218","datavalue":{"value":"fixed-point operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q3835817$0208EE2B-F89A-4E58-AC55-0D35C93FF5A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q3835817$E5919894-A81B-440B-AAA2-45DB0892A8ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5c7a65a5acbceacdaa3bf52731a080631800e98","datavalue":{"value":"temporal flow","type":"string"},"datatype":"string"},"type":"statement","id":"Q3835817$123D9687-7B44-4684-8165-F777E9A0E169","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"948b6f0f3f509c2346164de6f1b86ce0f916ab70","datavalue":{"value":{"entity-type":"item","numeric-id":232653,"id":"Q232653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3835817$C94C89BF-C665-4D0C-BD56-2C65BDAAA996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dba48006b5c8e496f7eee02dd0edb814c74265c9","datavalue":{"value":{"entity-type":"item","numeric-id":912841,"id":"Q912841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3835817$A76EC895-3C63-4B4C-8E72-36D21615AAD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"22c3c5a22fb3da755e2e8fb1d94c251a072f6ebc","datavalue":{"value":{"entity-type":"item","numeric-id":790946,"id":"Q790946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3835817$9BD34356-0529-4B07-BD82-EB10EC32347F","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":"Q3835817$1BEE9AAF-28D5-4837-9039-A5F7EB8DFEB4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79a759cf14f3d735c140f079eeb08b1d36c2e5e7","datavalue":{"value":{"entity-type":"item","numeric-id":4860769,"id":"Q4860769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"caadb18d67b12621cc522a3212cc97946b87520e","datavalue":{"value":{"amount":"+0.848680853843689","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":"Q3835817$BB28B2A4-3290-4013-9C05-966C8F51335F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c5410fe2b773f551ca7a21d646661f26026eaaf","datavalue":{"value":{"entity-type":"item","numeric-id":2753192,"id":"Q2753192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b5e961eed88b844220600861226ac93b46d98f0","datavalue":{"value":{"amount":"+0.8436865210533142","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":"Q3835817$4CB341D6-F231-4E2C-AEF9-A3387A4578E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db385e3ddd77fbcc8e5058c24a82af976c062e3f","datavalue":{"value":{"entity-type":"item","numeric-id":2805273,"id":"Q2805273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fd2aab35c01d5d1b8b37e0124a8dfb4ddd7ed4d","datavalue":{"value":{"amount":"+0.8318996429443359","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":"Q3835817$C082C5EA-DD68-499D-B492-FAEBBEAEBAAB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3835817","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3835817"}}}}}