{"entities":{"Q4907864":{"pageid":6937443,"ns":120,"title":"Item:Q4907864","lastrevid":90949190,"modified":"2026-06-04T21:52:16Z","type":"item","id":"Q4907864","labels":{"en":{"language":"en","value":"Three case studies on verification of infinite-state systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6138804"}},"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":"Q4907864$000093D3-BEA2-4B49-8313-077E87131739","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0d6b3ef3ebf617cd54c0332ba95e842021df05e1","datavalue":{"value":{"text":"Three Case Studies on Verification of Infinite-State Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4907864$738887D5-BEEB-4497-8791-A53A4AC9002B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aba43b2c93e06dd434cae7fe1f906ac37888f3be","datavalue":{"value":"1256.68117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907864$1AC658FD-4FE5-45F6-8CDC-9602C6CA6ABC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"edcb75c59574abf34b4eb11677aaa3a6a513ee85","datavalue":{"value":"10.1142/9789814271059_0012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907864$F0158A09-D89D-479C-8593-CF46903892D0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e47b8a1818346ce22bd45f99ec3c619fd43a6a3","datavalue":{"value":{"entity-type":"item","numeric-id":264200,"id":"Q264200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4907864$EF22E69C-BB22-4864-ADD9-F91888140464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e0eb9ca09251d04daa1f96d7a34f18cd533c5fc","datavalue":{"value":{"entity-type":"item","numeric-id":2105475,"id":"Q2105475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4907864$22FCB493-20BC-409D-B4BB-58A0C0369BED","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"aeebf9bd4378e6f764c1e2d0c61fa01519002d39","datavalue":{"value":{"entity-type":"item","numeric-id":4907852,"id":"Q4907852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4907864$4C1E1658-F11A-4EC4-A5B6-BA2BFF30ED7E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"15ea8e6212b2d0b7fd67fe1be831418ddf2951d7","datavalue":{"value":{"time":"+2013-02-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4907864$1727859C-A5D7-470C-9A63-7E6D079E7F88","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a2881cc378d0c15c0ce9b4ecd3bef9b95756cb57","datavalue":{"value":"https://semanticscholar.org/paper/3890c8b524c4025ab25d5027e064a25813355d08","type":"string"},"datatype":"url"},"type":"statement","id":"Q4907864$7CE5EB86-37C3-4FD6-8767-76B8D323B322","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907864$FEEA61FD-C457-425B-9C8B-A0D23C960C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907864$6DA251C9-C69C-4FFF-B26E-074B24FF225D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cdde201ad6401c767857b927d26af72f4911ca1c","datavalue":{"value":"6138804","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907864$8D18F14E-7691-4A19-8A67-9441D1EC27E7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2401ab9a73046e83587f0547028c361f64393fe","datavalue":{"value":"verification of infinite-state systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4907864$1E36DAB0-4154-4EAB-A822-7F801FAE9E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7e65aae49db0330cca9c9ae83b0581bbc67013f","datavalue":{"value":"symbolic search","type":"string"},"datatype":"string"},"type":"statement","id":"Q4907864$11710482-3592-4077-979B-127E57E87ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02043efd7251d0653d7aa90e0f19259162ad4ae2","datavalue":{"value":"mutex protocol","type":"string"},"datatype":"string"},"type":"statement","id":"Q4907864$FE8B5BC7-6334-4087-AFC3-8D90D16BE5D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fb79ef92314afa027234b54e115f867221fc9a0","datavalue":{"value":"cache-coherence protocol","type":"string"},"datatype":"string"},"type":"statement","id":"Q4907864$D3C8DA51-C7F2-49FC-8C10-670F3360044C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"283293b31a4400f2da94d3d429ac7ecb70a68e76","datavalue":{"value":"skyline plotter","type":"string"},"datatype":"string"},"type":"statement","id":"Q4907864$34971E95-7D1A-4921-BE12-E469E0127AE4","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":"Q4907864$491F9F40-C6A6-4895-823B-876977F7ED4A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8b5129a9256616ce1c5b1760c38d91bf37442543","datavalue":{"value":"W2407513297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907864$EEDB0EC8-A526-48C4-BD23-301F99AE3234","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ab708b87e2154529b600539565947a2ae82c8e5","datavalue":{"value":{"entity-type":"item","numeric-id":5292626,"id":"Q5292626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b57c33f419dfbaf1eefe6739dd7320ed0d9b8800","datavalue":{"value":{"amount":"+0.806926965713501","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":"Q4907864$507FB290-2C1C-4EE8-A275-A733E51F36A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97434220c731f87d7ae92c4fa46509ec4e361296","datavalue":{"value":{"entity-type":"item","numeric-id":5941104,"id":"Q5941104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14faa84afed0eb77aaacdccf14b68d6eaae7f17c","datavalue":{"value":{"amount":"+0.8025268316268921","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":"Q4907864$5B4A817C-1AB0-4EAF-A31D-F60E9DD3F269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b0b33f024dd7f5321b769595c104f48a1504190","datavalue":{"value":{"entity-type":"item","numeric-id":5292668,"id":"Q5292668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14faa84afed0eb77aaacdccf14b68d6eaae7f17c","datavalue":{"value":{"amount":"+0.8025268316268921","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":"Q4907864$80288515-B5AF-45CD-8032-1F5BEA721A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6a1b4c88cf430c4ecc948ec6940e4e4fce7f738","datavalue":{"value":{"entity-type":"item","numeric-id":4452049,"id":"Q4452049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1219b719ef8cac7305e60187bf49eedc5052aa1","datavalue":{"value":{"amount":"+0.802041232585907","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":"Q4907864$71F2B8D5-84F5-4F2A-AEEE-8553A5DB0E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf5b43b408b2da4a683dba83631a428854b25f1e","datavalue":{"value":{"entity-type":"item","numeric-id":5491850,"id":"Q5491850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3db01a3bfbd43fe992849e4802116739999c87c","datavalue":{"value":{"amount":"+0.7914060354232788","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":"Q4907864$C3CCD62D-A34C-4642-8B3F-795BCCF4B8F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Three case studies on verification of infinite-state systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Three_case_studies_on_verification_of_infinite-state_systems"}}}}}