{"entities":{"Q4931295":{"pageid":6960877,"ns":120,"title":"Item:Q4931295","lastrevid":51096962,"modified":"2026-01-16T15:55:26Z","type":"item","id":"Q4931295","labels":{"en":{"language":"en","value":"Reachability as derivability, finite countermodels and verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5795633"}},"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":"Q4931295$49328687-1726-4D6C-BE05-6AD5F1B9BBA3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b11d26fc89f5f6c59e104ce5693aa35b6817f530","datavalue":{"value":{"text":"Reachability as Derivability, Finite Countermodels and Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4931295$E30B959C-1461-48BD-9665-DF532ADF1486","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"35d786a87d597171a0849bb4488855aae1df4e18","datavalue":{"value":"1305.68119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931295$62C3D26D-0715-460B-923F-D258EBDA5E72","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3bc1b8ef97fc7cce2c13d5e6b7a82e05a7f26633","datavalue":{"value":"10.1007/978-3-642-15643-4_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931295$BA5C2461-3C9A-4B22-97B0-368438BC71C3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4931295$032412F7-7C5F-4AC7-8F6C-CEAB94EE5181","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74cfab7d3906afc05e862851cc22fb484b12e8f1","datavalue":{"value":{"time":"+2010-10-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4931295$6F257985-6B6B-4102-B0E9-90E5FF9E4BFA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931295$CFF33297-ACEE-4389-985C-7948686150F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f0c85cd69084782dfff4438afda6036f713a040","datavalue":{"value":"5795633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931295$F84A1725-549F-4DCA-95AF-821AF001B0EC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"95e9100254d03da2193ebcb0473e06193cec5626","datavalue":{"value":{"entity-type":"item","numeric-id":1662268,"id":"Q1662268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4931295$C0F621B6-83A8-42AD-9D87-FA7A8097FC14","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"82659ddd3b24a7f3c51a78eb5f25cc1e5d64df69","datavalue":{"value":{"entity-type":"item","numeric-id":17116,"id":"Q17116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4931295$96813634-2630-4388-A7DD-5DB6C6E63815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2207b0b201a95a431b254bcb1c01d869b9f41774","datavalue":{"value":{"entity-type":"item","numeric-id":18972,"id":"Q18972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4931295$D75D4562-B9C7-4B71-9A94-3963216FE103","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":"Q4931295$53C33C39-37B6-47A6-BB37-BEDF45B1516A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0326a3f401f35e2bdbdbe17fe8296d0eb76ce2b0","datavalue":{"value":"https://doi.org/10.1007/978-3-642-15643-4_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q4931295$A40A896B-BB00-423C-9C4B-A45D56EFBA25","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"69d3f23c55393c890bd59640a0c006c1e89a7957","datavalue":{"value":"W1597257978","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931295$5E3E991A-AEFE-44C5-97DC-E2F1E432115E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b8f17c1baf962aa436aa2ed3384829de4367c5a","datavalue":{"value":{"entity-type":"item","numeric-id":2351397,"id":"Q2351397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"044741a88bdc275504b5cb73d3a94825a4bac1db","datavalue":{"value":{"amount":"+0.8758392333984375","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":"Q4931295$B27E5A1E-BE84-486B-AB6C-5BFDF14AEA53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62ccf8a694514b0676771a5c550e3d57d964ad47","datavalue":{"value":{"entity-type":"item","numeric-id":1923094,"id":"Q1923094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bce9e8e8db0f8358b80b0030271155dc4dd84417","datavalue":{"value":{"amount":"+0.7694440484046936","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":"Q4931295$D7A8A6C3-F0BF-4D82-A3B9-2DD2761FB359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65cbaf1e979b491d7a6e5f7ade5d53365f7dd855","datavalue":{"value":{"entity-type":"item","numeric-id":1886449,"id":"Q1886449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3733ae23052d2128210626e0c2c1ac303c53d860","datavalue":{"value":{"amount":"+0.7647902965545654","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":"Q4931295$596D3FCF-F7F2-4F9C-A973-2FE5327EBAF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97cfb41caa4e0da17dd933a997d7473ea3b00ad7","datavalue":{"value":{"entity-type":"item","numeric-id":1878928,"id":"Q1878928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62414b90259044ea9c3f8957d8e57b1602886c40","datavalue":{"value":{"amount":"+0.7585132718086243","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":"Q4931295$B6B0326F-E4A4-4B89-A3AC-D1066C0F34B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e88d80e9074cfb0b5ba6a572c8ecfc53b22b379","datavalue":{"value":{"entity-type":"item","numeric-id":4414374,"id":"Q4414374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"731f83b5b1eb7fdab16365fec9acf11c41f890ca","datavalue":{"value":{"amount":"+0.7577875256538391","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":"Q4931295$249F7022-D682-48BB-9987-F27F2C6401AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4931295","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4931295"}}}}}