{"entities":{"Q5178998":{"pageid":7208570,"ns":120,"title":"Item:Q5178998","lastrevid":52227371,"modified":"2026-01-21T05:05:30Z","type":"item","id":"Q5178998","labels":{"en":{"language":"en","value":"Assumption-commitment support for CSP model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6416604"}},"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":"Q5178998$0E6D7E72-4DA3-4FD6-9618-8F190662C886","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e85c8f5b8f36002b3c6cc1ece6b592731e103180","datavalue":{"value":{"text":"Assumption-Commitment Support for CSP Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5178998$71894FBC-241B-4B03-8CB9-B7B17355BB9F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c2e5f67891454ff322a16b8f0e01941e31716d2b","datavalue":{"value":"1335.68178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178998$B9E3A24B-7761-4FC0-9461-9A0B6675F20F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03cef63eae44592e48a74818551b45b79fb68cc0","datavalue":{"value":{"entity-type":"item","numeric-id":1040777,"id":"Q1040777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178998$444AC419-068A-42ED-8BF9-CEF55207FCDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ca03232c046c61e779fea1cbd709fbcc9ecda81","datavalue":{"value":{"entity-type":"item","numeric-id":436426,"id":"Q436426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178998$17BD6DC9-3A99-48C5-900F-21C87DA39ADB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178998$A34B8A9D-FC62-4049-9CC8-E698266AF116","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e3ae1d772ce191deb207c0bad17ca1d39804476a","datavalue":{"value":{"time":"+2015-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5178998$7CCC3774-9DE7-47F9-B1DA-A55CA662285F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178998$97FDAAB5-965B-4EC3-9C09-4A37B1980C1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178998$568295E6-7845-4DA1-A992-633FC061237A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178998$9CB7D517-E4E5-4E95-A580-59ED1F932118","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2178e0c1e298579add46e4bee67d9d19a101fdf3","datavalue":{"value":"6416604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178998$F37A1C41-D045-4379-BF05-8C886C43916F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbbc431b243857762a4621a8966ef43c2c6add22","datavalue":{"value":"assumption-commitment","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178998$1FCDE790-8449-42E4-B1EB-A4CDC2BA0613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4672783e42cf498417b0eb9721718738d14d9699","datavalue":{"value":"assume-guarantee","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178998$72849AA0-3858-41F1-9DA3-A3A01A5C32F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1658b60e766a02ebffc17e47bf24ae50d17b7e","datavalue":{"value":"CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178998$1C049CDB-B534-4698-AA8A-E9669BAD10A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178998$FED185BE-41C5-468F-B58F-811D8B2A0CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8f9062a19f85971c14b4d71d981f064b7b13591","datavalue":{"value":"compositional reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178998$9D17B232-B374-4096-9551-F8901ED613C2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9466f0b26c1dc8acd437f28f29f075bef564116e","datavalue":{"value":{"entity-type":"item","numeric-id":23408,"id":"Q23408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178998$5E86D567-AFCD-4D3A-A303-4F91385F50E8","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":"Q5178998$2498B478-74D3-4E88-AD94-9A7578911591","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ba785a3d976111adf474f4a204dcb97256caf2d4","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2007.05.033","type":"string"},"datatype":"url"},"type":"statement","id":"Q5178998$2D6BFC34-AB69-4E22-AEAC-BFFD131A76C3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"70f9c3959c1e0f12c1256bfb1a2e4e6a57036bb5","datavalue":{"value":"W1966877774","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178998$72B04A41-919C-4C3F-A714-D6864B279552","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e4e6f5fde16d7def805b77aac961fc3c46b916f","datavalue":{"value":{"entity-type":"item","numeric-id":3667934,"id":"Q3667934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178998$A4CDBF9E-D327-4797-B42F-6367448D9140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e4059e3e3788a873388fc3b6237dcbc3b49d09","datavalue":{"value":{"entity-type":"item","numeric-id":2768503,"id":"Q2768503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178998$748B94C5-9164-4A53-971D-695E0ACFA41F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178998$9231895A-C89C-4BF7-B3F6-AA09E1046EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ccc368591937b0e93f76ce0ee9913a83d02dd0c","datavalue":{"value":{"entity-type":"item","numeric-id":3922150,"id":"Q3922150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178998$9DA989B8-4590-4EFD-828D-9F3182CDE81C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ac367ac916c6e10f0629bcfb5380218a5b35c7","datavalue":{"value":{"entity-type":"item","numeric-id":5178998,"id":"Q5178998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178998$38B36874-6BFF-441E-B94F-BE9B98D6C128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d57f8ff96aa36d7800f49af17d376d97e1fedaa","datavalue":{"value":{"entity-type":"item","numeric-id":5429309,"id":"Q5429309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178998$66C2E65F-005B-4D23-A6A5-B00611D77360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72dfaa4734e6e876df686283557dfc4a0f2ac64a","datavalue":{"value":{"entity-type":"item","numeric-id":1914039,"id":"Q1914039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178998$58B4C6A0-32FF-48CD-83DA-73D82DAB8D97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5786d89e3e45997c87256d1bacfc80be2bf5347f","datavalue":{"value":{"entity-type":"item","numeric-id":3819969,"id":"Q3819969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178998$951DFD9D-8EB5-41ED-87DF-34F24DB57089","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1e88d1b63311f31a88ded3b505177341df43283","datavalue":{"value":"10.1016/J.ENTCS.2007.05.033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178998$5CD00CAB-C8D1-492D-8E44-25F758D3F4AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edbc1caad17acbfbeb8a02ca0ea1f6d01194f8c2","datavalue":{"value":{"entity-type":"item","numeric-id":1040778,"id":"Q1040778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f93dbe4ee9a49875ff57cd145e53c998769a02e7","datavalue":{"value":{"amount":"+0.9958588480949402","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":"Q5178998$469C8149-8A20-465E-93DF-6A02168BA7E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5fed3feb306e72ccd0749337553e60176562d6d","datavalue":{"value":{"entity-type":"item","numeric-id":1901688,"id":"Q1901688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"354d8b3ee5efa75df0f4f590366c09dc571b3a57","datavalue":{"value":{"amount":"+0.7852871417999268","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":"Q5178998$157E6473-6E5A-4098-B280-6A0BE519C1C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"006112eede10895dd2f5f7630373832dd9739f66","datavalue":{"value":{"entity-type":"item","numeric-id":1321833,"id":"Q1321833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"971478a179ade61ee94a0848edbdab12aa8a78be","datavalue":{"value":{"amount":"+0.7692990303039551","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":"Q5178998$44735AB6-8270-47C1-90BA-9B85CDA45145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff5c56236cb0309973f8b87d42b4dbfb53da356d","datavalue":{"value":{"entity-type":"item","numeric-id":1847547,"id":"Q1847547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f14b4e8f76ccf1a971acfece135db53f8d7a198d","datavalue":{"value":{"amount":"+0.7669824957847595","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":"Q5178998$9450DDC4-63C5-459E-9A63-BE170DB29371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39bee104079d0abac0c2cc2a7c6e68109be7623e","datavalue":{"value":{"entity-type":"item","numeric-id":3447708,"id":"Q3447708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"581c917340ca4ddf3908792c1103cff04d4c7a57","datavalue":{"value":{"amount":"+0.7652427554130554","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":"Q5178998$0BC19C5C-89D7-4731-8223-8469C4D59C74","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5178998","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5178998"}}}}}