{"entities":{"Q4817192":{"pageid":6846772,"ns":120,"title":"Item:Q4817192","lastrevid":74566269,"modified":"2026-04-14T23:23:01Z","type":"item","id":"Q4817192","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2101966"}},"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":"Q4817192$F0E04592-C9A5-4E11-A0DE-E825CF92B56B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"69f3ff3d5ed5aa4ca9aab42b15996da3b8c9937a","datavalue":{"value":"1064.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4817192$EF654750-D1B0-4BEA-A339-1E179AEDA8BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7bd962bada8b0dc37e98aacdd29c36343a02c75","datavalue":{"value":{"time":"+2004-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4817192$8C5EB1FA-FCBF-4097-AC8A-7D36254134A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4817192$C4E1458A-AC91-4E86-83C3-DAE76B78606B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4817192$23A72520-E9C4-41CA-AAC6-E942946D78AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32421f453e2f3d0b26825cf90d16b15971f7875c","datavalue":{"value":"2101966","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4817192$2076D0EB-AE8C-4E37-A025-760F81A7A9C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4817192$B3D411EC-CC2F-4783-916D-AC2A5B043465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q4817192$6BDB392E-314B-4CC6-945B-45349F2490EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de76b81f57ef1796b1e709d901661054b7875837","datavalue":{"value":"bisimulations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4817192$001B3A04-4D3F-4367-9DD2-2705A9005D5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd8ade5162d9fb4539001699f2af72f49a9542aa","datavalue":{"value":"fragments of first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4817192$DCDEFAE3-2844-4CD5-B1CE-BA2BB1C00767","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a16bed3fcf9befde6b615ead23f4b855455a9900","datavalue":{"value":{"entity-type":"item","numeric-id":1246519,"id":"Q1246519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4817192$6536CC97-6377-4CE0-9924-91220C203939","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":"Q4817192$300F1AA0-4FD2-4EB9-8EDD-73F21D35BC46","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7c7c15dd633b5438b09055d53aa7c370fdcb45c","datavalue":{"value":{"entity-type":"item","numeric-id":3408862,"id":"Q3408862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b681c658612aed36f7caa1febb171b8afc27cdb2","datavalue":{"value":{"amount":"+0.8157561421394348","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":"Q4817192$FAA220D3-11F2-4A4C-879A-F07312583C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b1f67eee6e1925d5f66188dac6e29cec8615459","datavalue":{"value":{"entity-type":"item","numeric-id":4027733,"id":"Q4027733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7aadda19ec7d025480f3b2fe5cf89bd7926f3b5d","datavalue":{"value":{"amount":"+0.7961628437042236","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":"Q4817192$F3CDB4EF-523C-434E-AE4D-B30B12F14D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24452ac8bf74774f7fbc0bd249f3c79f5f89b8b2","datavalue":{"value":{"entity-type":"item","numeric-id":1289098,"id":"Q1289098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7aadda19ec7d025480f3b2fe5cf89bd7926f3b5d","datavalue":{"value":{"amount":"+0.7961628437042236","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":"Q4817192$574B2077-4F62-4420-8E1C-C27DDD210FE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97ed7b99bd728f513c80992336c22e4dadf31fca","datavalue":{"value":{"entity-type":"item","numeric-id":1422049,"id":"Q1422049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aff1f3d7e35119dd5e8721a0edc16436106bff2e","datavalue":{"value":{"amount":"+0.7958818674087524","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":"Q4817192$C545C722-50E6-40D5-B971-AC183EE76A4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51eb5c0f111b2e9efb848e166dccd71bf81ef59d","datavalue":{"value":{"entity-type":"item","numeric-id":4531580,"id":"Q4531580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"564982f2c148d700e267f8422ffdf45c7d9f9c41","datavalue":{"value":{"amount":"+0.7915828824043274","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":"Q4817192$E841AD7E-8984-4784-BB2F-8E7211E81FEA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scientific article; zbMATH DE number 2101966","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Scientific_article;_zbMATH_DE_number_2101966"}}}}}