{"entities":{"Q3430665":{"pageid":3441368,"ns":120,"title":"Item:Q3430665","lastrevid":86881661,"modified":"2026-06-04T10:05:52Z","type":"item","id":"Q3430665","labels":{"en":{"language":"en","value":"Constraint-based automatic verification of abstract models of multithreaded programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5136259"}},"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":"Q3430665$D275BCB8-367E-4C0A-AC21-F2695E37EDF5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8da5c0e9df8f589a79972ca15634ab99c603977d","datavalue":{"value":{"text":"Constraint-based automatic verification of abstract models of multithreaded programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3430665$1B62BCB9-5E65-4587-8209-259BFFCC1B3D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f5c718b842ce277e8697df09425da352e9bff9c4","datavalue":{"value":"1112.68089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3430665$19C67EF5-1A05-4E89-B5FA-C13E04968A83","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b900a0b8a3864fa620839cbfcb9c86901ddd4472","datavalue":{"value":"10.1017/S1471068406002821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3430665$09460AD4-57D0-44BE-AD54-33F7C6BC7B2E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7b90d9553e24a1f43d2ac6e846cb604300bf898","datavalue":{"value":{"entity-type":"item","numeric-id":198013,"id":"Q198013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3430665$D249C5A8-A056-40A0-8A8C-B86D312EA3EF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3430665$F5CA608F-D584-4B37-B380-779A04BAF201","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5429839a84a593b9970df3ce3618bd27979b9dd6","datavalue":{"value":{"time":"+2007-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3430665$44A4B948-B496-44E4-9B8F-E6604C6EB5F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3430665$44C4E9AC-AD6D-40DD-B3DC-7478D34EF1FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"996e9a5582ce0e8905bf87b148b7067fca9af5c6","datavalue":{"value":"5136259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3430665$6B1AB51D-073C-4917-BA25-36FA4D36A5E8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc84523e41a1c93f98d4ea541c8bba23fa54716d","datavalue":{"value":"constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q3430665$4EA4EF09-C92C-42C5-9205-B11E599A4145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"705d96611ec978b0e41fe65216c3c31eb890bfd1","datavalue":{"value":"multithreaded programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3430665$5C220790-2DD3-4693-A91F-5F9D70BC8DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3430665$24DB42FC-41F1-42F8-A3E7-8742AA58B690","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":"Q3430665$B7440053-0EF4-42C1-B3EB-3B18E8FD80A2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cd8fe519b64cbc856a832a8dd1f77f177c5e155","datavalue":{"value":{"entity-type":"item","numeric-id":3656886,"id":"Q3656886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"371cc20bf982501b37f6a10d175d080cb58c03e6","datavalue":{"value":{"amount":"+0.7855275273323059","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":"Q3430665$7B3E180F-F806-4A7E-BBDB-35338AF697A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bb9215e52f3915ac4a21cd6de68357f55b79d3c","datavalue":{"value":{"entity-type":"item","numeric-id":4472236,"id":"Q4472236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2f4a58b759384b4ecc5102bf0eb53cc8e5c8833","datavalue":{"value":{"amount":"+0.7627532482147217","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":"Q3430665$CD4530B2-307A-4F0E-B5F1-B0939CA85987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce38ee1ed9aadbe0e0427d9ce6fb345fba2fc4cd","datavalue":{"value":{"entity-type":"item","numeric-id":2819827,"id":"Q2819827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80ab42861ab8e56ded31d65cba21105ce71314d8","datavalue":{"value":{"amount":"+0.7577717900276184","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":"Q3430665$2E119DAE-F052-491E-A5EF-03FD4D4E55CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9568d7ac0fc09d966ca5b5ebe36c58b673e186c1","datavalue":{"value":{"entity-type":"item","numeric-id":2234071,"id":"Q2234071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c641b85d9723d7859da4c4cfa53a85e027bc693b","datavalue":{"value":{"amount":"+0.7453997731208801","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":"Q3430665$C11ED587-C7EC-430C-80A8-A76E2F0F8F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f91731193b4f93b084a95ad588f670662502a94b","datavalue":{"value":{"entity-type":"item","numeric-id":5408569,"id":"Q5408569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c225249dbd8c2fdda2c1e4abd618de9addbd74a","datavalue":{"value":{"amount":"+0.7444660663604736","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":"Q3430665$D5289F87-B82D-4EC0-8A73-EAF82A6BA83E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constraint-based automatic verification of abstract models of multithreaded programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Constraint-based_automatic_verification_of_abstract_models_of_multithreaded_programs"}}}}}