{"entities":{"Q2947222":{"pageid":2957942,"ns":120,"title":"Item:Q2947222","lastrevid":52348787,"modified":"2026-01-22T10:13:33Z","type":"item","id":"Q2947222","labels":{"en":{"language":"en","value":"Inductive invariant checking with partial negative application conditions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6484118"}},"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":"Q2947222$345CE751-1B6A-4910-93AD-CFAED62C1246","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e8bf74db6543ae42237581801a11dd7044c4ebf8","datavalue":{"value":{"text":"Inductive Invariant Checking with Partial Negative Application Conditions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2947222$D0F61230-3E34-4C43-9337-0DA8BCAF3F83","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f2cb48dc543425e9dabc7ff9ac7d336f1d50c94a","datavalue":{"value":"1321.68329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947222$FC6E4989-876B-4B05-99F0-B1CB7F88E250","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"39d34fe69b51eb596193a3580068fb9f958a853c","datavalue":{"value":"10.1007/978-3-319-21145-9_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947222$08D0581F-7382-4C71-9A09-BB00113AE10B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"60930d89b7c292c983c16ff0559302efc6a2406f","datavalue":{"value":{"entity-type":"item","numeric-id":2947221,"id":"Q2947221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947222$69F9CDA5-8638-4CC6-B5A1-2446722A8BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b1e95151c3b93dc349aa8f2ac290fc35019ee7a","datavalue":{"value":{"entity-type":"item","numeric-id":780063,"id":"Q780063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947222$AA96E1B7-220B-48CE-BD27-16973526D314","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4316a4201538b627be4269e54b0d61e5b9d0c800","datavalue":{"value":{"entity-type":"item","numeric-id":2947206,"id":"Q2947206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947222$5F6919A6-8F22-4A55-8380-D9379C61ACA9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"28857d5b8ce74b0fd649738f47e9ad422078bca3","datavalue":{"value":{"time":"+2015-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2947222$FE8EB771-7745-476E-A006-D9E7DB31C555","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a0185911adf1a333bf0775b42be6b1c43e44ee2","datavalue":{"value":"https://nbn-resolving.org/urn:nbn:de:kobv:517-opus4-77748","type":"string"},"datatype":"url"},"type":"statement","id":"Q2947222$E5BA25F5-E8B6-4344-A387-E030880D8B2F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947222$58770737-4C43-46BC-BEAA-312F4578D5B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947222$33A3B0F5-2167-4DBE-826E-D5D3E2F996B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33e6787e30fd93ea364114b11daa245735ce0961","datavalue":{"value":"6484118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947222$7B82174B-3FE5-4FAF-80C0-BB3790BF597A","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":"Q2947222$339C05E7-9E88-4BFF-BA26-3A737FD989C0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"82dc7403bde3766b52502fbb1f0f0465f28c0ba4","datavalue":{"value":"W951772279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947222$292BAABA-4702-48C0-A903-B656AE524FA3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"96c7f6a61806f5ba6add0c85730e84ed8f033314","datavalue":{"value":{"entity-type":"item","numeric-id":3190136,"id":"Q3190136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947222$4827D6C7-080F-4D0E-B6E2-0AAA348831A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9bdedcbf60de0abc68124c8cbc5925e62a86dd7","datavalue":{"value":{"entity-type":"item","numeric-id":2918989,"id":"Q2918989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947222$7A7018A5-1F79-408E-80C1-722280241E02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"548acb24d75419e124fb7d477c7572e13a585136","datavalue":{"value":{"entity-type":"item","numeric-id":3625675,"id":"Q3625675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947222$2B96EBCE-F237-4B0A-9462-51ED63BC40D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74e252c7a0ec82585ef059659ae49c7b9fefe0d7","datavalue":{"value":{"entity-type":"item","numeric-id":2918986,"id":"Q2918986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947222$000CBE1A-9303-4AA5-9C60-3A821C252ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16e3449c47aef6fd96102d7d3a7654c7733e2f5c","datavalue":{"value":{"entity-type":"item","numeric-id":2947222,"id":"Q2947222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947222$28A05216-FB9B-4698-9AE5-7917BF395282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07d2a5930b67fedf7ddfefc5427ba29961082dee","datavalue":{"value":{"entity-type":"item","numeric-id":2491953,"id":"Q2491953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947222$51016B6D-4020-444D-B9D3-EFCC62BACA40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df669bab4e4a6685568f9792db6ac8ced751658b","datavalue":{"value":{"entity-type":"item","numeric-id":5740375,"id":"Q5740375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947222$DFBBB985-C720-4596-945A-60DFD5F842F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60f2a33b140279091a5d42f1434ee6c8cc823f92","datavalue":{"value":{"entity-type":"item","numeric-id":4791846,"id":"Q4791846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947222$F6F45EFC-9E00-45FD-853F-866FF5A0D4B8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baba44df3ef8d032daa5653806c21343676e0b86","datavalue":{"value":{"entity-type":"item","numeric-id":4972013,"id":"Q4972013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea1f4c260246b9cca29bc4f1b2db146d5f2cafec","datavalue":{"value":{"amount":"+0.8742122650146484","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":"Q2947222$921BF467-428F-4F82-B57F-565131AC4999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a19dc35d7c4820d0ccae697e6bfeecf803d01969","datavalue":{"value":{"entity-type":"item","numeric-id":5100737,"id":"Q5100737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2545a0eadeba761ecb05d9ec696a0db2dc6e833d","datavalue":{"value":{"amount":"+0.7952632904052734","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":"Q2947222$E6EAF0C5-805B-406E-991D-3625BA651A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e45cdc5a223ff4e6016348e71c19e8c3865b998","datavalue":{"value":{"entity-type":"item","numeric-id":2918989,"id":"Q2918989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5c5f78e3758c670be29b44bcb70411955e1991b","datavalue":{"value":{"amount":"+0.7661289572715759","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":"Q2947222$4B2D34F3-4952-44F2-ADFE-E95F1C13F921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d7040d06ce40179a7105a0f37c1b7dedbafd43d","datavalue":{"value":{"entity-type":"item","numeric-id":1049792,"id":"Q1049792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3f1dfb00451663d409d5a13a28e80380fe7fdd4","datavalue":{"value":{"amount":"+0.7536016702651978","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":"Q2947222$9543DC5C-8A71-4D73-B7D5-F6B5D54FDFE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e449ebd05204fcfd118e5843b7bc49eac760bec6","datavalue":{"value":{"entity-type":"item","numeric-id":6487310,"id":"Q6487310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcdb0889d0b758da38743bfe271214ea420a9873","datavalue":{"value":{"amount":"+0.752360463142395","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":"Q2947222$981A3D69-AB84-45EE-9D4A-8CE0552C7005","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2947222","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2947222"}}}}}