{"entities":{"Q3623967":{"pageid":5653873,"ns":120,"title":"Item:Q3623967","lastrevid":50640914,"modified":"2026-01-14T16:06:51Z","type":"item","id":"Q3623967","labels":{"en":{"language":"en","value":"Implementing Temporal Logics: Tools for Execution and Proof"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5547750"}},"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":"Q3623967$87116F02-83BB-442F-AD93-071EB19D56A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"da0826a4e032156edfbba5a673c26a9367f43cb0","datavalue":{"value":{"text":"Implementing Temporal Logics: Tools for Execution and Proof","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3623967$F90F7677-7B30-4B16-B10B-A3E46D2B1F3B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cb03e1d6efb03c857ac16c263578185be19fa83f","datavalue":{"value":"1236.68224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623967$9EFBCE1A-1845-41C4-8ADF-D9C44B20B15F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"67ad8e9a4d71b296ea6227811606b696f4ba1fc9","datavalue":{"value":"10.1007/11750734_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623967$CCA8B390-CF87-44CF-8076-61E11E3AB530","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623967$1B16F77C-4817-42CC-9685-8D22BF85A4A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"962aaad97593dfc1dafb90617b979127f52bb556","datavalue":{"value":{"time":"+2009-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3623967$C10FED67-B838-4F2C-ACA4-D19E3006AFB5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623967$D59C5068-0DAE-4608-B9DD-216A836BA27F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623967$BA044125-3E12-4357-8C8A-5F9395A1AAE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623967$9492D6D1-23F1-46E8-A583-6F21A350A8E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d1defafb7c1c3fd4251bb65fee2a7f2ed317db1","datavalue":{"value":"5547750","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623967$759F8493-0E3A-4B7E-84EF-5CBEFE3B9D90","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"87012e0e14315a9d2a71a5d0a96542105d8acf43","datavalue":{"value":"Q98283827","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623967$493F22BC-2D34-43E7-8507-7D4E5F3E6D63","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b443b776731e3bc75eb79b752e7ef8c4cee2d97a","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623967$098DAF73-FA0B-4A3E-8FCD-B652B563D02E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"99667ff6306724dbe63bc589a546934d523de225","datavalue":{"value":{"entity-type":"item","numeric-id":21966,"id":"Q21966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623967$B3E2BD78-771B-41D2-879D-6C2184C139A6","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":"Q3623967$84AC02BA-2436-420C-BC38-671BEAEB10E8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"17af17cdf6069c42b6df66d3f7c37dd8a9c1c19b","datavalue":{"value":"https://doi.org/10.1007/11750734_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3623967$E7EA595E-E41F-4F8C-8654-00E2302AB93A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"85cc89204519e1952e4f75daa0a4e0f7825e57a8","datavalue":{"value":"W1515815766","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623967$2F2F60C2-0F2D-4574-B691-4F46C071C06A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b72c4c0790037660972bdea1de418440e1d2971","datavalue":{"value":{"entity-type":"item","numeric-id":679342,"id":"Q679342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eea8c21ec8eaa8d948dde940071617d982a7a7d4","datavalue":{"value":{"amount":"+0.8246051669120789","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":"Q3623967$7E8DDC7B-4F10-4400-B88C-A2D8FB040C7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce5e0b8d098d3904f1abf841ee4f7c4b9abf9c8c","datavalue":{"value":{"entity-type":"item","numeric-id":4941896,"id":"Q4941896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f956fc36d1c80d4939dbfd405248d3f938e66ee0","datavalue":{"value":{"amount":"+0.8244593739509583","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":"Q3623967$DBCE43AD-7692-4C35-890D-4804D068223D","rank":"normal"},{"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":"9e396a6e2d03e85da1133a807e2e9f528917df89","datavalue":{"value":{"amount":"+0.803418755531311","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":"Q3623967$A97AF83B-08C5-4BF5-A3F0-10F5D60E9A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c09d3cc35783e4b4d2a895156e4265f8ee4400b4","datavalue":{"value":{"entity-type":"item","numeric-id":1904643,"id":"Q1904643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"702a74576538cbde21ed0a27cb27dad7ef8f984e","datavalue":{"value":{"amount":"+0.7872934341430664","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":"Q3623967$12D160FB-F5AE-4895-B902-B1047F26F2D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c386be788eaf0f6449ebf2c0ed525de082408b7","datavalue":{"value":{"entity-type":"item","numeric-id":3806791,"id":"Q3806791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"450dcbf39fc57ed7a7d0a5f99a88884a35b56a77","datavalue":{"value":{"amount":"+0.7822672724723816","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":"Q3623967$FF872653-1AAF-4C59-B24F-1468A8BA03E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3623967","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3623967"}}}}}