{"entities":{"Q2786907":{"pageid":2797645,"ns":120,"title":"Item:Q2786907","lastrevid":42014562,"modified":"2025-05-22T12:01:24Z","type":"item","id":"Q2786907","labels":{"en":{"language":"en","value":"Universal guards, relativization of quantifiers, and failure models in model checking modulo theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6544915"}},"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":"Q2786907$B8DCF8F6-79B6-497B-9576-59932A49A5B6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"11580a28435cd98179409bf9ddecbd38d552fde2","datavalue":{"value":"1331.68141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2786907$37A72749-ADCB-48C9-8CA8-BADC5E687483","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8df320b2bf5040745ea698d888ef24486bf9092e","datavalue":{"value":{"entity-type":"item","numeric-id":287270,"id":"Q287270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2786907$4F26946F-4EFD-460A-8467-AAD6C340B6D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44f075398e4ccd740a9ac00697271020232935ff","datavalue":{"value":{"entity-type":"item","numeric-id":284229,"id":"Q284229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2786907$E9822336-A291-4FDD-BF3B-C5DEFE0E7F30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a648f5f5c43d7007feb24ddb34b99c77877b620","datavalue":{"value":{"entity-type":"item","numeric-id":219438,"id":"Q219438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2786907$B7E214F0-FE0C-495A-AFEB-CA78FBAEA873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"995cd7def9538a7ea8fe385c4a77a15852046831","datavalue":{"value":{"entity-type":"item","numeric-id":2777142,"id":"Q2777142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2786907$0F7285C2-C12F-43F8-8F4F-AAFAE682021A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"40132ec6ad5d1cb17cec408f4165e5b202bf8a62","datavalue":{"value":{"entity-type":"item","numeric-id":2031421,"id":"Q2031421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2786907$439C0E8B-A31F-40D7-8582-FD8400B90545","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f429de4bb61af0cec7dd689742f7976bba897976","datavalue":{"value":{"time":"+2016-02-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":"Q2786907$732F90B2-61AE-4ADC-B1AA-E7B9EEDF35E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2786907$BC571FFE-3053-4593-B5E8-3431A9D91A80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2786907$900D43A2-3656-43CA-88E5-CFC5F6B9B405","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bbb00d630c8f902775819ac5b4854de39f65294b","datavalue":{"value":"6544915","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2786907$7A3E1CD4-141C-4823-98ED-2626F7D2600C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98705a588d7026ef2440d0185788662be4e38844","datavalue":{"value":"model checking modulo theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2786907$43BA5363-62EA-4730-8AC3-FEA3AE7ED05B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4461d8664decda2304b39fdaf5c1c7d64fa53ac4","datavalue":{"value":"failure models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2786907$FDB62E46-908D-4EAD-96C0-98B473557502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06519b70a07d138faa702394e0a8647b461aede5","datavalue":{"value":"quantifiers instantiation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2786907$00AE8591-ECCC-4FA3-97D5-1C2D877E894C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56e5f0bc21dd7d5fcb6ec1b47f659a4ce5ac39da","datavalue":{"value":"reliable broadcast","type":"string"},"datatype":"string"},"type":"statement","id":"Q2786907$0539F66E-947B-4377-8D32-1AE8FC95CD92","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":"Q2786907$CE449FE1-DF97-4992-937D-0E489F5B8869","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31f1b20dba2def1ffbc351f1c3bec44998a97713","datavalue":{"value":{"entity-type":"item","numeric-id":633088,"id":"Q633088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"532b448a7f44cf2761c0c0b987520556d0b1602c","datavalue":{"value":{"amount":"+0.8922935","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2786907$65CBC431-D613-4A44-AEF2-AEB6E955DF11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b416427a4304b1f4d23bb76171b3eb488a30d682","datavalue":{"value":{"entity-type":"item","numeric-id":5854737,"id":"Q5854737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8436474909ec9d8005ee4d0f7b99616b5c3a8558","datavalue":{"value":{"amount":"+0.87670475","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2786907$37AF6BBE-E3AD-4B2E-B604-638CD1F2AAF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45b0a50e466707129605d225106e5b7250c6fcc1","datavalue":{"value":{"entity-type":"item","numeric-id":4635600,"id":"Q4635600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4df97a9b630cbe53160e16796628995ebe8f446","datavalue":{"value":{"amount":"+0.8746151","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2786907$03E07E20-0628-4E51-BB56-F2D482FB29A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eba778d7781b4bbbaee63dcac407712bd61880e5","datavalue":{"value":{"entity-type":"item","numeric-id":3033311,"id":"Q3033311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34cd8a161f541566c2ab785599e109c66ee3bfd8","datavalue":{"value":{"amount":"+0.8732947","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2786907$6B2DC218-2BAC-4199-BBD5-17B2826F644B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"458bfc6f87b3dcd334c607afe3d711993c880250","datavalue":{"value":{"entity-type":"item","numeric-id":1176250,"id":"Q1176250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34cd8a161f541566c2ab785599e109c66ee3bfd8","datavalue":{"value":{"amount":"+0.8732947","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2786907$D530FF19-70EA-4748-ADA6-E17B47EFE90E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e7bb19972e15a7516bb4865049ceb970044ea5d","datavalue":{"value":{"entity-type":"item","numeric-id":4647097,"id":"Q4647097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b806ccd95e1e46024b51931ccdc0dec6b918a8d","datavalue":{"value":{"amount":"+0.8732398","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2786907$B6DD8336-A633-41B2-94CE-6CEA0E51EEA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b487f5c2b17f6536f2e45341ad5fc30697ee540","datavalue":{"value":{"entity-type":"item","numeric-id":5014803,"id":"Q5014803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dbfec12099aa3f448f479193abc3af9a5c40282","datavalue":{"value":{"amount":"+0.87290365","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2786907$B480EDF6-03BC-4DA5-8A3C-8A3AD1F52771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bccbf5fc3944a9c4a28f412cecb088c5b82edac0","datavalue":{"value":{"entity-type":"item","numeric-id":5900667,"id":"Q5900667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf75620e2bad0cb4c6828823d2d0a24c6fc8e739","datavalue":{"value":{"amount":"+0.87011135","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2786907$AA4777E4-3627-4495-8F2E-7BDA5242B6CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe7cf0145f7ad4c0f49615e586f443eca9330418","datavalue":{"value":{"entity-type":"item","numeric-id":4914522,"id":"Q4914522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d68b6466c5910ec106511b84b6889cb9b0c969a8","datavalue":{"value":{"amount":"+0.8679223","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2786907$BBAC606C-AF21-444D-9077-92A1B1B2AFF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f906915a72bb3f81c3e387341a191491cb1f9bc","datavalue":{"value":{"entity-type":"item","numeric-id":3584967,"id":"Q3584967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76efa179ff3036c98c3d4296a00399803b59215d","datavalue":{"value":{"amount":"+0.86655116","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2786907$CFE0F03C-4254-472A-9DA5-92C7BBF4BD59","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d19185b5d1c55b85057cc76ec064a8d43a555be1","datavalue":{"value":{"text":"Universal guards, relativization of quantifiers, and failure models in model checking modulo theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2786907$5E8FD189-BC06-4B71-86AE-BB5F6139071F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b42cd1190c17abf3583de3251015c8863d46fb20","datavalue":{"value":{"entity-type":"item","numeric-id":6618904,"id":"Q6618904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2786907$B97899CA-DAE8-4D51-8051-EEE5E78D58A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2786907","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2786907"}}}}}