{"entities":{"Q2868563":{"pageid":2879283,"ns":120,"title":"Item:Q2868563","lastrevid":51892202,"modified":"2026-01-20T11:57:54Z","type":"item","id":"Q2868563","labels":{"en":{"language":"en","value":"Verifying preferential equivalence and subsumption via model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6239111"}},"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":"Q2868563$80D91638-2086-42C9-A469-15C447919BB9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"453ab801b9275ba345fc2cc4038ea85e6c31dceb","datavalue":{"value":{"text":"Verifying Preferential Equivalence and Subsumption via Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2868563$811B3BD0-3AB4-41E2-BD62-C4DC6B3813D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b9209db7b913243e15a72e688e351a90ead9cb8","datavalue":{"value":"1404.68153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2868563$2552371F-10E0-4672-A0E2-5996867453CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1b9aadb0dc950b408ed4388f6dcccab37c7c744","datavalue":{"value":"10.1007/978-3-642-41575-3_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2868563$3E1B340F-08FB-4B88-8BBC-C5AF73EBEFE4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"05e48394c37f740d29ba44e77ca0e2b676edee50","datavalue":{"value":{"entity-type":"item","numeric-id":2868562,"id":"Q2868562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2868563$0C7A3410-D9A5-41EC-91B3-19C828C3A2AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8865af5840312ac206515e5079126e325569bdf","datavalue":{"value":{"entity-type":"item","numeric-id":344797,"id":"Q344797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2868563$D8FC5853-C5AB-41BB-A53A-F48A6EA82A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a443cf86709eddb564204fd68774d48f5e7e551","datavalue":{"value":{"entity-type":"item","numeric-id":207940,"id":"Q207940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2868563$9EB5DD2D-00CE-4690-A3DE-4783BB5F2D65","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9702f2f79746a509e83249d4b96a5785892315e5","datavalue":{"value":{"entity-type":"item","numeric-id":2868540,"id":"Q2868540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2868563$86F10F90-AE76-46C3-BB7E-A700EA0CEB97","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53714891beade9c84623d78b63501e16661d99a7","datavalue":{"value":{"time":"+2013-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2868563$6769ACD6-51FC-4319-BF2A-09E8FCCF7E1A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2868563$47392BC7-9C30-47BD-9C5F-DDE23FB1B65D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2868563$10C22A42-1E91-44D6-92FB-6E984A2D515D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2868563$A850CDDD-8B31-4CF6-B659-6626949B1D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7dfd8303bd13aea2e4b7120171f58bea1dddf5e5","datavalue":{"value":"91B08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2868563$E52A6D5A-933E-49AD-858F-778F02A7B1F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58885d11c564f3e1aafd5745602d7612a06f2adb","datavalue":{"value":"6239111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2868563$5D12B47E-7F9F-49F6-9A18-A546BCFB5904","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":"Q2868563$62E64F67-6EDB-413A-9396-738E582FFBDE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2dc66c21a22ff6aee28ae1a77a3b6bfd40aa616f","datavalue":{"value":"https://doi.org/10.1007/978-3-642-41575-3_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q2868563$375340F0-B824-4E47-95F7-B82E73DF1830","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ec89714c4762b5aa20f7ec3ec734222900348bb5","datavalue":{"value":"W2184962110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2868563$CE123502-494C-4618-A7B9-BF363D138BCE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cacdb05e8ff5ca268a35c7a543bbf9e49dc303c","datavalue":{"value":{"entity-type":"item","numeric-id":3463651,"id":"Q3463651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5901a096e00f76027dc991059c1413b0ee06bcf","datavalue":{"value":{"amount":"+0.7825999855995178","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":"Q2868563$1B8E2CEF-3525-46A7-97CE-1051607DF3C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"286534bd060ffb30c6afde3e5b452392e2053bcb","datavalue":{"value":{"entity-type":"item","numeric-id":3624003,"id":"Q3624003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ac15d467c1965e1b4e6b129eca772766cc6bb4d","datavalue":{"value":{"amount":"+0.7779157757759094","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":"Q2868563$5D031550-83F3-4E19-A0B9-BE8A7DEAA5E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"643aeabbb407ed0cfe0e43302a43f6a0f1e45a9e","datavalue":{"value":{"entity-type":"item","numeric-id":5715666,"id":"Q5715666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1456b2792ea71602dbdab09b056a0cacae26d0e5","datavalue":{"value":{"amount":"+0.7494646906852722","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":"Q2868563$613AF476-0248-4D83-9C01-E71C0A10D449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a07f17f41989f4d40a2084bd265ce0785106684","datavalue":{"value":{"entity-type":"item","numeric-id":3297807,"id":"Q3297807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ea1d88827d158f30f06ef6c8a3b5991ac4b112b","datavalue":{"value":{"amount":"+0.7452793717384338","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":"Q2868563$204F6846-FB21-4BEA-BD53-BF0E65D996CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"598253b62aa6247c1320cc41cb71cea7230fe72a","datavalue":{"value":{"entity-type":"item","numeric-id":4924394,"id":"Q4924394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6081d3c98be53495111bb51c0327b3c020b0868","datavalue":{"value":{"amount":"+0.7417266964912415","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":"Q2868563$BF08EC41-1811-48C3-BFDC-9F384DC50F59","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2868563","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2868563"}}}}}