{"entities":{"Q4255558":{"pageid":6285159,"ns":120,"title":"Item:Q4255558","lastrevid":46688565,"modified":"2025-12-25T09:57:43Z","type":"item","id":"Q4255558","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1324658"}},"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":"Q4255558$223050FF-9227-4B80-8EB4-24C3F81435F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"43b63ab01a54fd3f99ffe92d49f4d004745151dd","datavalue":{"value":"0920.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4255558$18050D39-B33B-40EF-8396-C6DD6F54D49A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a8644b3f3170c33297fd848370044d7764102e51","datavalue":{"value":{"time":"+1999-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4255558$17E6E405-E21E-41D6-ADCC-CB336FBB8124","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bbdd0ea2fbaff0467e19292ade798ef2ff607543","datavalue":{"value":"http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=22#22008","type":"string"},"datatype":"url"},"type":"statement","id":"Q4255558$8F68D33C-3B23-49F9-9B20-0B50194D7382","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4255558$D990C3A6-DE98-4C6D-BC49-EDC3D840BD59","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eef6210df29e56dd43a3ea605af21b3a70ba948d","datavalue":{"value":"1324658","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4255558$5850DF34-239C-47D6-BCF1-BCB9898BA7B8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7662493be8c807e4e49fd26f7b5c47a219f3196","datavalue":{"value":"\\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4255558$C80EB3EE-419C-4B27-AE3E-46D02317BE3E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"edb7994e252aa9cc656a1cdd08ac08e998723d93","datavalue":{"value":{"entity-type":"item","numeric-id":406450,"id":"Q406450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4255558$B829C6C4-9221-4AD4-86B9-BFC0241CCE94","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":"Q4255558$145393CE-8F3D-4186-A213-9B5403EA4E9F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ac11ee7a9415a3a0d42c06d93773f69cdd301c0","datavalue":{"value":{"entity-type":"item","numeric-id":4934885,"id":"Q4934885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"632c2684d7f7e31613e4b989b13c5b955686f062","datavalue":{"value":{"amount":"+0.7919086217880249","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":"Q4255558$12F7D1EB-3258-4612-81C5-2D01049B1993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ee0feb7bb35066b7e5391f540e70798c7dc92db","datavalue":{"value":{"entity-type":"item","numeric-id":4635928,"id":"Q4635928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db5238b3dbb3b70f558be58a9d16ac4d217a458e","datavalue":{"value":{"amount":"+0.7887762784957886","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":"Q4255558$6832F0EC-F9E0-45E9-9237-67577AEAC5F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd84ef57146bbcbaec7861a27239929cf50f467c","datavalue":{"value":{"entity-type":"item","numeric-id":4260713,"id":"Q4260713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cde53ff114f848eab5c5ae1b504cf7413ec41d0","datavalue":{"value":{"amount":"+0.7797455787658691","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":"Q4255558$BC844043-0909-4A35-AFF5-A8C8FE918251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c675f4be317e371cc1adb9259273d81eaeebbe4","datavalue":{"value":{"entity-type":"item","numeric-id":1424351,"id":"Q1424351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36fc92a08d226b03c4619a2299b8966812a916c1","datavalue":{"value":{"amount":"+0.7778939604759216","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":"Q4255558$080216B3-29C2-4CE2-8C3D-B5FAE7D15D21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4da678be00c6bfebc03980ed713f507fda34baa","datavalue":{"value":{"entity-type":"item","numeric-id":2566296,"id":"Q2566296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cab98dceb33732624af2f6f8254b8a4ce5149ce4","datavalue":{"value":{"amount":"+0.7734875082969666","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":"Q4255558$967B7A68-097A-4E1C-AC69-23CF1657EBFF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4255558","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4255558"}}}}}