{"entities":{"Q5505609":{"pageid":7535169,"ns":120,"title":"Item:Q5505609","lastrevid":50550848,"modified":"2026-01-14T09:09:07Z","type":"item","id":"Q5505609","labels":{"en":{"language":"en","value":"Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5498396"}},"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":"Q5505609$979F7881-EDA4-4D88-BBB2-0E26F93CF460","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"92ce19911bfc0903e37299ba760de5615516e116","datavalue":{"value":{"text":"Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5505609$3BD23810-43F6-4ADD-8FF0-0FD7B9E810A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0005bc5e168ecb4f29f0b602fe225692dea3bebe","datavalue":{"value":"1161.68580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505609$D821168F-7CA4-4608-8E4F-7CACFC55421E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c56cfae8f86ade8cf426f7cdfc4fcf1ed565f01","datavalue":{"value":"10.1007/978-3-540-85762-4_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505609$236655FC-6E6E-49F2-957D-46F448C8C3F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d7fbf2496e246569791b0f06bc68a82062b431a","datavalue":{"value":{"entity-type":"item","numeric-id":719246,"id":"Q719246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505609$BE81461D-2CD7-4FAF-9BB1-A81CCFD4F300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ef94de4ba8722c9929436fa8de2168bdb5d0b57","datavalue":{"value":{"entity-type":"item","numeric-id":383725,"id":"Q383725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505609$11181777-45E6-4DF3-B863-A1D1DC29C5C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f397e7e67b8be5e13f893f1a8004a9ad5bf1d720","datavalue":{"value":{"entity-type":"item","numeric-id":235674,"id":"Q235674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505609$E468EE0D-B023-4740-9B70-E98BBD5FA6C0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ed248be93f2dea7fdfc2631642f97cdf031ba329","datavalue":{"value":{"entity-type":"item","numeric-id":5505591,"id":"Q5505591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505609$E7F97BCC-1BF9-4F7D-8658-26D43DC7361B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51e6c39ac6ec91b8381a06fe1e16cf5aca0f2bdc","datavalue":{"value":{"time":"+2009-01-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5505609$9276933F-67A6-4070-921B-7446ABDAF882","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505609$0F8BF20A-9EA6-48C7-90BD-ED6CA1349334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505609$F86AB6CA-8C8E-4EA7-B4EC-182DE8966198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505609$AF418426-644A-48D8-8564-397B08DB53F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2dcff9e050bbbc5da935b536f0f2e2ea79b82ae1","datavalue":{"value":"5498396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505609$27B9D907-DC6D-4444-B8B4-B893083513EB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ab41959fd9494b5548d09c762ca90a9336e1c7","datavalue":{"value":"bounded model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5505609$A4B8D781-893E-4054-9205-0E531B11A40C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb0a1870140e67a15b956ec0bff8d392c9b5abcd","datavalue":{"value":"bi-infinite words and automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5505609$78110D1D-D64F-4284-92BC-F42EDC5511CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cef2b34eddcd7a186f07c29943c7d850b90a976","datavalue":{"value":"metric temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5505609$6305A257-A1F8-4CCA-A14E-174B9D73D9B2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505609$40DECBEC-396F-4B4A-A775-0974AAE01940","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":"Q5505609$29047A9C-561D-4937-BADE-33BC7682F4A8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"39fcc0d5401f99428ccfd3922cee16139ab68e3e","datavalue":{"value":"https://doi.org/10.1007/978-3-540-85762-4_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q5505609$DD6126BF-07D9-4EFF-918E-27D470CE0D0B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6389bdce26537e028f17cdb6f567d81b572663aa","datavalue":{"value":"W1841388400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505609$BC29509E-6739-4869-BCD9-7774C021C5FF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9203382626459f5403873175e80fa3a2e850886f","datavalue":{"value":{"entity-type":"item","numeric-id":4417910,"id":"Q4417910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505609$328398CC-09AE-475C-8B96-482A1C20D727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9989385b6d21787669f1b90c6937d74a8a738ea","datavalue":{"value":{"entity-type":"item","numeric-id":5310676,"id":"Q5310676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505609$47AE69E1-1737-4402-A976-F8284FE31A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f541623726371fa1e6609e8c2eef0b9f81a4c6c","datavalue":{"value":{"entity-type":"item","numeric-id":4804909,"id":"Q4804909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505609$5876FE0F-33D3-4896-B996-FD59986307A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505609$C3D5EC1A-5536-4C2B-B67B-4179C9319AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59951dea340333f2aab2f2c895a9d105ed93d93c","datavalue":{"value":{"entity-type":"item","numeric-id":1178712,"id":"Q1178712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505609$45A53AF7-8B4E-4B57-9E02-832434B67A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77feb9554f98250a94e59cd9498073fd0d68d88e","datavalue":{"value":{"entity-type":"item","numeric-id":5711503,"id":"Q5711503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505609$50A1D456-8FBC-43F4-A7AD-8EC015BC0B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a905ba949a06cde66174f0d589d9794d6c05423","datavalue":{"value":{"entity-type":"item","numeric-id":3711745,"id":"Q3711745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505609$A58AEBF6-7239-4053-8BAA-C395E4FAA322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcad196cde92ff58f605cb0c7899249dd4df74ca","datavalue":{"value":{"entity-type":"item","numeric-id":5317419,"id":"Q5317419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505609$A5FC4FCD-A855-4D18-9731-823BEFA9B7F2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04bdf0742bdd522dee8d4e004977de201c067fa6","datavalue":{"value":{"entity-type":"item","numeric-id":2369883,"id":"Q2369883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7eb474800e99ee533c58ed1af8bed0f7f80be426","datavalue":{"value":{"amount":"+0.7674236297607422","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":"Q5505609$003C7095-6DD7-406A-BEC9-4735B8C43E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03ad0d77aa2ff75e4f234583be0d095382d6df8b","datavalue":{"value":{"entity-type":"item","numeric-id":3184695,"id":"Q3184695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8a78db8ab12f05b9ac1aa2c2b1a127598fa21df","datavalue":{"value":{"amount":"+0.7485440969467163","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":"Q5505609$1FC3E47A-585D-43CF-9832-CCB9F543D09C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06ac69d629aa81216cf233f144064c6822f02715","datavalue":{"value":{"entity-type":"item","numeric-id":2842869,"id":"Q2842869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88edb6b4cac854a7950c717990bdb2e9acef1d29","datavalue":{"value":{"amount":"+0.748422384262085","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":"Q5505609$373A22F3-0E02-4AFC-8FEB-61721F9F8228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be50a16f594585ad83b769990cd70371ed47af65","datavalue":{"value":{"entity-type":"item","numeric-id":5505598,"id":"Q5505598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d7c6e204c7ea2540f0cbb1c289dd60ed0b19902","datavalue":{"value":{"amount":"+0.7457330226898193","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":"Q5505609$7E14BEBD-0D3A-481D-80A2-175E672969B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"297f9a57f303c8c036d110ba8003ae3808693f2e","datavalue":{"value":{"entity-type":"item","numeric-id":5422273,"id":"Q5422273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca0e09255f6926af508042faf827fdd9ddf1383a","datavalue":{"value":{"amount":"+0.7428431510925293","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":"Q5505609$81949514-54F3-400C-B2B0-D0A7A8C1234F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5505609","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5505609"}}}}}