{"entities":{"Q2277863":{"pageid":2288606,"ns":120,"title":"Item:Q2277863","lastrevid":49489570,"modified":"2026-01-07T07:14:53Z","type":"item","id":"Q2277863","labels":{"en":{"language":"en","value":"A structured temporal logic language: XYZ/SE"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4197443"}},"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":"Q2277863$913FE58A-8609-457E-8258-5404E67B0B0B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6c3d8a4c07dc084f4461a8afe9d14d874f46dc39","datavalue":{"value":{"text":"A structured temporal logic language: XYZ/SE","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2277863$61328C03-3681-4475-8994-B2F5E9AA0090","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e11f12d0fd469f714b5c54d010422ab2b3955670","datavalue":{"value":"0725.68071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277863$521EA2ED-9B94-4573-BC4E-C30AD60D702C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3b8b4ad9f50a70b4bc9dd992c2f3e96fb687eaa6","datavalue":{"value":"10.1007/BF02943402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277863$96ED1E86-9E5D-4F52-AD77-ACFAE1F7DC8F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277863$7B06EF2F-545F-4F25-A0B6-5ADED8F25770","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4c3c57bd2a24956e0520aebbb172d094d92623f1","datavalue":{"value":{"entity-type":"item","numeric-id":182337,"id":"Q182337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277863$DC2D00FA-CFEE-4281-BD62-D77100658BF2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2277863$C4D519A7-D0BE-4FAC-8F4B-0465BFBDD5C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277863$D88DD467-F0E1-45E1-9C6F-7115F82E8EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277863$55049055-3F3B-4F45-80B7-D8C96093C303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277863$8021B639-2740-424F-BF4C-FA281C5B6C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277863$E76342A7-7A5B-4F27-8FA3-47DFC01163F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4eb2f1061aac58d207a00af700008709cd3ff0c3","datavalue":{"value":"4197443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277863$500ECCC0-B4C3-492E-8393-228E1C09B7FE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dccbb513888fdfbdbd69e5479c508c7ef9513f34","datavalue":{"value":"verification of temporal logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277863$8D8D9E50-B908-44B1-9BE2-4B6D0565B55A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52719d7c88b1bb8b218f0fd21a4c77be2503361f","datavalue":{"value":"temporal logic language","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277863$A197071E-90DC-4FDC-9668-C40285CA581C","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":"Q2277863$8A0814DB-EE79-4CF0-A0AA-1751CCC24271","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5710cd0fb8b5907d40eeada6e14d4018e26669a5","datavalue":{"value":{"entity-type":"item","numeric-id":1255942,"id":"Q1255942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277863$39AF2959-3EC3-4068-9E6B-56167AB6F2BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b69785742bae8a46dab1d942229a955ccc194e3","datavalue":{"value":{"entity-type":"item","numeric-id":3949940,"id":"Q3949940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277863$E9406885-E673-412C-A12A-03940572F2E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cc2f91cfc1a9c7939995798479a24ca803246c5","datavalue":{"value":{"entity-type":"item","numeric-id":3670535,"id":"Q3670535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277863$D07DA731-1477-44B8-9E2B-7C4AD439E5C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e09f7681257b92526d42b556170b42e07509410","datavalue":{"value":{"entity-type":"item","numeric-id":4745241,"id":"Q4745241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277863$99997F2D-1DD0-46E4-9B66-E3A28AD3E930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e19a8839f4a8794351c3d2bb45f6f1e81e4095d","datavalue":{"value":{"entity-type":"item","numeric-id":1143818,"id":"Q1143818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277863$37E0EEAF-CEF2-4B70-8746-12963D350F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aaa7c2a801938246bc5b9c35ae533855c08aea3","datavalue":{"value":{"entity-type":"item","numeric-id":1090673,"id":"Q1090673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277863$E32140B9-B7DB-499F-9E22-16B546590EB2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4bbc2485e2cb49f51e7decab2b1d05433d6d634f","datavalue":{"value":"https://doi.org/10.1007/bf02943402","type":"string"},"datatype":"url"},"type":"statement","id":"Q2277863$473581BC-5F3D-4B89-8A66-384BC27FD979","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1fd19fe475d6646174fc46b9d2ce0aa348ce195b","datavalue":{"value":"W1996668871","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277863$C08159AC-673C-4D69-A0B5-3917E6289C54","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8930ce10de5d502a6ae831db68742f99f6e94b7a","datavalue":{"value":{"entity-type":"item","numeric-id":582280,"id":"Q582280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"639f84fd4050b8d12afaafea3716f82f8f6503b9","datavalue":{"value":{"amount":"+0.7689846158027649","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":"Q2277863$E6660080-EE26-455E-BA69-CB7D1BD448EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4444e22cf4a815a8834036d41840500b1509c8b3","datavalue":{"value":{"entity-type":"item","numeric-id":1895457,"id":"Q1895457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fb9e27f3a2632fa5757039820dced92496ddd16","datavalue":{"value":{"amount":"+0.7634816765785217","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":"Q2277863$5BB30780-01D9-403B-A579-7A89C647B354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afca3b29330b440d76c08f8e08f6d4bc4e8c7e2c","datavalue":{"value":{"entity-type":"item","numeric-id":674008,"id":"Q674008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"443e05b2e6ce4bb59cb45b24b675068d869c2c4b","datavalue":{"value":{"amount":"+0.7628659605979919","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":"Q2277863$96BE89F7-4FD9-418A-9ED8-91AE3F9C6C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f03ba18052806ef29b397f5c3308f6e6daf42f5","datavalue":{"value":{"entity-type":"item","numeric-id":5748896,"id":"Q5748896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27338869686c533f49052de80c09e926f8431e14","datavalue":{"value":{"amount":"+0.755795955657959","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":"Q2277863$9CA7B7B4-A493-47D7-9548-2EA0480FD571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f12f09a85a3e80166149c364db6599477a28da1a","datavalue":{"value":{"entity-type":"item","numeric-id":3677141,"id":"Q3677141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37d71ff0da3513570d975c1f2cf486e8db047fd0","datavalue":{"value":{"amount":"+0.7540544271469116","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":"Q2277863$EDC8C05E-8C58-48CB-B05D-62CF36897A7D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2277863","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2277863"}}}}}