{"entities":{"Q844345":{"pageid":846193,"ns":120,"title":"Item:Q844345","lastrevid":64767684,"modified":"2026-04-11T22:05:25Z","type":"item","id":"Q844345","labels":{"en":{"language":"en","value":"Verifying specifications in the language L against temporal properties nonexpressible in this language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5660040"}},"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":"Q844345$6CEAFD95-D5B8-4D4F-9DBE-93E693E47749","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8d35606717576b7b9a7d61f4b17be9e39c34b9c2","datavalue":{"value":{"text":"Verifying specifications in the language L against temporal properties nonexpressible in this language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q844345$11BFA918-DCE2-4B05-99F9-878C98DBC04C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b720f4c906e5d380bd536406dcb493e7b8dcc856","datavalue":{"value":"1185.68410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844345$46F8DE66-54F4-4D0A-B91A-0125E977B267","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b023419c56b9969f2d98b08637e9b0af86a936b","datavalue":{"value":{"entity-type":"item","numeric-id":199816,"id":"Q199816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844345$A54BE809-A297-41B8-9BF4-96E0CA33AF03","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be635091689a991256f3b26dc127b364600011f9","datavalue":{"value":{"time":"+2010-01-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q844345$1D2AF0DC-4DD2-4DCA-834D-FD21DECE56F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844345$A207E258-B750-492C-8B46-45EA7B1785A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f85b13201644ba3678980d9dc15bf2d119e90f1","datavalue":{"value":"5660040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844345$74793543-1C69-410F-881B-8BCA0599CCA0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q844345$BE254493-6BCD-40CE-9EFC-FAD2C5C8E870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d893190846d0bbdf5b072371e1353e6b2ea0a1a9","datavalue":{"value":"reactive algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q844345$0F185204-3941-45B0-B07C-A2BAD5113BB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f538dc3e672c45a8832bc63aaf0368a91ecad911","datavalue":{"value":"specification language L","type":"string"},"datatype":"string"},"type":"statement","id":"Q844345$E74B44A4-7075-48F5-AC32-4418B79B7956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ae1233bc0582ccde0ec5e6112b14ff6e255be69","datavalue":{"value":"temporal property","type":"string"},"datatype":"string"},"type":"statement","id":"Q844345$894E2824-DA9D-459E-A132-75C1E75AB1F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba4acc0a99189c3f9f863e8f1383e13f6fa8b000","datavalue":{"value":"language \\(GR(1)\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q844345$D66AE0B7-C465-4B68-BEF2-0A61A8DE0F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb89d1e3cb5950b8b41b40f63eca86fc80369ffe","datavalue":{"value":"superwords","type":"string"},"datatype":"string"},"type":"statement","id":"Q844345$04F2913F-EEC6-4AF7-8A34-DB87E9F86432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"883a751192e5fece36e9d6129a272df1c5e408b9","datavalue":{"value":"open system","type":"string"},"datatype":"string"},"type":"statement","id":"Q844345$B63E1BF9-8BF3-419C-9D1D-0D5837E92D9C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b856f185edb2a579a72c40fa0c8e1f739df71b9","datavalue":{"value":{"entity-type":"item","numeric-id":1127547,"id":"Q1127547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844345$33A34510-8EAB-4046-B65D-4B38102A5732","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":"Q844345$BDBC0A44-B502-4718-85B9-3430D1FEC522","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b6d0df4c17272045aed006610e482db01130612d","datavalue":{"value":"https://doi.org/10.1007/s10559-009-9140-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q844345$B31086E2-FBC4-4310-875D-A43F368E20DA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a3afee123fbe9347b7e37a28d45cbf1711824840","datavalue":{"value":"W2032155506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844345$15E2531D-2F73-4328-A4AA-3964D23C3BFB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6fe682707527e51d1912b797be115404652a89d","datavalue":{"value":{"entity-type":"item","numeric-id":1895045,"id":"Q1895045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844345$E72B9AC8-B8CE-4E71-A8D2-5604B6AD64E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee375c7bcc9847e2999b97cdff8f98ca7e0a19de","datavalue":{"value":{"entity-type":"item","numeric-id":5898629,"id":"Q5898629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844345$E8AA5012-A6DB-4BED-BFD8-DA2D2EA41304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d36155adb2d2abe3dee965446f2f034a21406ce","datavalue":{"value":{"entity-type":"item","numeric-id":1905143,"id":"Q1905143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844345$753E341C-0CD5-484F-A917-659389CC2D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e21021b220ebabbf447ae3aef222bee85a0bd36","datavalue":{"value":{"entity-type":"item","numeric-id":2508787,"id":"Q2508787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844345$254DC825-E546-40A4-A400-C4AF1CECDF26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5338af58739e3d38fc87f62ab1e38ddc086de8f2","datavalue":{"value":{"entity-type":"item","numeric-id":1968528,"id":"Q1968528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844345$E4947F24-1BFB-44F5-9488-CCBF9AAB21CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"675225c3d09cff25c87e8d5bc9cac4c55283e173","datavalue":{"value":{"entity-type":"item","numeric-id":3440993,"id":"Q3440993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844345$37174031-2896-4630-A74A-C47F8B13411F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0100b938aa02592e3dcec5a016d883a9d79cc50a","datavalue":{"value":{"entity-type":"item","numeric-id":4205072,"id":"Q4205072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844345$DE83C992-BE11-44FA-A5FE-3CEF7A6AC10D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5578774c342e1fdd44c03771a5c6292eab53101e","datavalue":{"value":"10.1007/S10559-009-9140-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844345$F8F92FC2-CDF5-4E13-8BDA-A26AF6558614","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"024cbed37b7fde1e1dac412cf215393e649fe204","datavalue":{"value":{"entity-type":"item","numeric-id":1407321,"id":"Q1407321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67a475a2cbfbaff7c97f2379bd676b6a48585ecf","datavalue":{"value":{"amount":"+0.7731795907020569","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":"Q844345$3D71147B-421B-49C4-BCE9-C16CA11E5B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cedc2fd789aa2f3d014d919c3a3a4076c401257b","datavalue":{"value":{"entity-type":"item","numeric-id":4885623,"id":"Q4885623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47ffe5a467e2235037c845154c28006870b10319","datavalue":{"value":{"amount":"+0.7706445455551147","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":"Q844345$51545672-F41C-494E-BE75-16BE6AF15E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7290941cd373469e191c13f207b260d8eb9c31f2","datavalue":{"value":{"entity-type":"item","numeric-id":3536336,"id":"Q3536336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"267da26fdce0e8f461467a6b239d8736a0c0375e","datavalue":{"value":{"amount":"+0.7702675461769104","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":"Q844345$24391BF4-982F-4E97-B9AD-215F53C719D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff7d60a6ce8052bfa56fde89469334cce4c5fa7c","datavalue":{"value":{"entity-type":"item","numeric-id":5447371,"id":"Q5447371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e5c905de5361b734d072bab65c3d4f2bbd81617","datavalue":{"value":{"amount":"+0.7671371698379517","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":"Q844345$088B704D-3A20-43E9-8816-BC847DF2517E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0e88955d91680e6d765da8c1b8b08c87afc0248","datavalue":{"value":{"entity-type":"item","numeric-id":3746875,"id":"Q3746875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0aba92e2273006af528788d59a546bf18c4db282","datavalue":{"value":{"amount":"+0.7596297860145569","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":"Q844345$7C668395-D02B-4499-AD9E-664915FA3D74","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verifying specifications in the language L against temporal properties nonexpressible in this language","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verifying_specifications_in_the_language_L_against_temporal_properties_nonexpressible_in_this_language"}}}}}