{"entities":{"Q6041167":{"pageid":13175268,"ns":120,"title":"Item:Q6041167","lastrevid":40726152,"modified":"2025-04-04T11:58:13Z","type":"item","id":"Q6041167","labels":{"en":{"language":"en","value":"Deductive verification in decidable fragments with Ivy"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7689273"}},"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":"Q6041167$7D9E8932-75E5-426C-8AB2-B36A0245A0EF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"314de46d9985b28d9d1e7c0498def28cd64decf8","datavalue":{"value":{"text":"Deductive verification in decidable fragments with Ivy","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6041167$315555FA-0F8A-4716-BE20-3C3267D3BE57","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"176ab562a6588966f77dd0ddf08381b147a0766f","datavalue":{"value":"1511.68165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041167$D2302A91-E47D-42D7-8350-05A55A8DF92C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fa6948f5a359756483e7491cb3e67ff93e6e211e","datavalue":{"value":"10.1007/978-3-319-99725-4_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041167$7DFBCC47-BAE3-4EA1-B810-A27DF16F8590","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"57a84b3343ed70002617a9eb1439c18c15bac9ff","datavalue":{"value":{"entity-type":"item","numeric-id":934708,"id":"Q934708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041167$272D71D0-2B2D-47B9-8C78-3B882953B770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"af28c01640955d451ab13d8ae854a3ea0fd656ad","datavalue":{"value":{"entity-type":"item","numeric-id":2044195,"id":"Q2044195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041167$0FB2C05B-3B3F-4A88-9BEE-04E3D74CAB6F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e166a297e557c212f7b597bbbbc3f69b1ceb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2870767,"id":"Q2870767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041167$3865BF99-0A84-48E2-A86C-1E40BF9C053F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e202514302232ff7f5ec81097f072c587f02b43","datavalue":{"value":{"time":"+2023-05-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":"Q6041167$E46BC1D6-62D5-45BF-8F34-E9F9CF139BC3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041167$23F8281B-87C4-4893-8E2E-AB71DCB8EFA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041167$D0404DA1-A98F-45DD-84E6-7E0C009568E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041167$01CE8092-8A91-4050-AF5F-5C32190ED04E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041167$0D1EF953-F059-4F92-A93B-595757AA09D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9c8a41c3d750f88190aabd13ab97f8dbb91091a","datavalue":{"value":"7689273","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041167$C7D281DF-1CFD-40E8-8EE1-28A31ADF5767","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aaa74f946f4a7cf49359214ccbeddb232ccd2dee","datavalue":{"value":"deductive verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6041167$5330B721-6EE0-4DC2-94DE-424E29E8ED33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82d9744537c8929843a9f698e900cd31ff81587","datavalue":{"value":"distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6041167$0C7FBAD7-26CA-4779-AF5F-B1086CBE2DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"960b661fb2cee8995a018f7d455348b011449448","datavalue":{"value":"safety verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6041167$7A75E7B7-7EA5-4C61-8174-95453F7C24FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"738023574695fe195a4b16803abb76c924a4fc6f","datavalue":{"value":"liveness verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6041167$A737FE0F-0696-4ACA-A07C-E413AC7B539E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b07cade245a98a28b42754597acc0defa6aa0ef1","datavalue":{"value":"Paxos","type":"string"},"datatype":"string"},"type":"statement","id":"Q6041167$2222DA6F-07A1-4112-B239-BCFF9C05ECE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1259d429e68f174208d84de505f72a7acc03e42","datavalue":{"value":"decidable logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6041167$8B0091FE-FCA1-43D5-84CE-4ADF86FAEC5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"104513d3dd0fe22d87f163bb45657059d03dab32","datavalue":{"value":"effectively propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6041167$C33EA8BE-46F9-4425-A206-4DC6B93F5A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9ed6cf8b50d2b81691b7a80850da2327f5e980c","datavalue":{"value":"cache coherence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6041167$9473AB44-B2BA-4622-86CE-73BF4DB409F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6041167$19821F93-530D-4CFC-8928-812C0D0E8D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"099fbda601a6d5bab3eb5243e43b9ae25d22fef8","datavalue":{"value":"specification-based testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q6041167$DEA5853C-342B-4581-89CD-D430C875D560","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":"Q6041167$AB1C2BCB-1A98-44A2-B87E-95E5DB9423A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"714e15e5a2ba4fff06e9121fed38d3236869a4fd","datavalue":{"value":{"entity-type":"item","numeric-id":1267035,"id":"Q1267035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f1595fd01967ec657f82439e150c89f852276b6","datavalue":{"value":{"amount":"+0.86212504","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6041167$F78BF49E-F6A4-4BA0-9129-678018CE7FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95329cdf73e479f740d8d6b8b9cd8da8de3be4dc","datavalue":{"value":{"entity-type":"item","numeric-id":4568312,"id":"Q4568312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fec5da5c95b5244486311ba61a60a754b3348d0","datavalue":{"value":{"amount":"+0.85863554","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6041167$C601A754-A651-477E-A3DB-9B6434CF4F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8696d3db79b6d60cab8448aedb0d76fcf6333157","datavalue":{"value":{"entity-type":"item","numeric-id":2811594,"id":"Q2811594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54eab094c0457524ae9a4236a7918284cc10d82c","datavalue":{"value":{"amount":"+0.8554416","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6041167$8E8ABBF6-C639-4A44-8AC6-7755CE148B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b37159249d26633301ff8166c62dbf7c2f2715b9","datavalue":{"value":{"entity-type":"item","numeric-id":5504672,"id":"Q5504672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c5b90136f2b2da2cf1b71fcefb5658534e89411","datavalue":{"value":{"amount":"+0.8498405","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6041167$3FE99D36-E292-4906-90D7-0A739B646AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e9ae26ffe7a94a1fc62f08d23b563a93516026c","datavalue":{"value":{"entity-type":"item","numeric-id":2237340,"id":"Q2237340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a0a7470fb201cdad67df7d026eb943aa3bede0a","datavalue":{"value":{"amount":"+0.844847","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6041167$0B3BDFF0-4D83-46B8-8133-7573D5651C0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3df9ad27cdee70d07b6ac3a133b5637ee50502ad","datavalue":{"value":{"entity-type":"item","numeric-id":2778866,"id":"Q2778866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85979941bdda6a001344dd94de0f667cd3af6fbb","datavalue":{"value":{"amount":"+0.8441957","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6041167$D5B038F3-03F1-4FF4-AD80-BA943F64B006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00ffa47cfdf65eaaad1ee218d989233be5a41c8b","datavalue":{"value":{"entity-type":"item","numeric-id":2769579,"id":"Q2769579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2355214640b1c2276351a76db0d78fca58312dc","datavalue":{"value":{"amount":"+0.8437179","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6041167$38DAE44F-F562-406F-AD4D-53CFE53980A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8266f2c8ef040bdae8a8d17dbab7410a4f0f3244","datavalue":{"value":{"entity-type":"item","numeric-id":4923368,"id":"Q4923368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d6687b637b761e41ae25be19b0554830a59aad0","datavalue":{"value":{"amount":"+0.84318614","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6041167$356F8B81-77A3-4291-BC9D-B32A9DA7FCC3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6041167","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6041167"}}}}}