{"entities":{"Q3192192":{"pageid":3202900,"ns":120,"title":"Item:Q3192192","lastrevid":45644458,"modified":"2025-12-11T20:20:48Z","type":"item","id":"Q3192192","labels":{"en":{"language":"en","value":"QBF Encoding of Temporal Properties and QBF-Based Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6348238"}},"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":"Q3192192$FB243F8D-8191-4075-B268-AD54624DEC53","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6112fa928b2f7f73c421aa1fa372e1deb877a7d7","datavalue":{"value":{"text":"QBF Encoding of Temporal Properties and QBF-Based Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3192192$5229D40C-F91D-46B6-A8AD-361D3236C73C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7b6702e9a6f64f1250d67f5077a75c4647dc2933","datavalue":{"value":"1423.68296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192192$7BAB9934-280E-4F64-9CF3-B6543444E9B0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"42e13630dd9b68a67008e7cf70301abed671c174","datavalue":{"value":"10.1007/978-3-319-08587-6_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192192$16BABE10-4F39-4892-BF9C-6FCE54EE808E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"700a7ab3c2173bf5b546ffeb63a43807e035e8a6","datavalue":{"value":{"entity-type":"item","numeric-id":250171,"id":"Q250171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192192$A305FC0B-7440-413A-B85B-E0E67409C7DC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192192$04DF3586-E847-4F35-BDC4-61674E520963","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a6fb9003a97bbc70eb568e233ee4457edf484fd","datavalue":{"value":{"time":"+2014-09-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":"Q3192192$450473ED-7244-4799-AB0B-1D28E070F62C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192192$981EC1AF-7513-408D-893F-3FC08906BFB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192192$93933E15-7555-4B86-BB35-2B657B7719D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192192$9A689A4E-6CDB-481E-A03D-6151BE06CBA6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"313c4f24b614f1d12d64bc70a3758cb0ac3656b7","datavalue":{"value":"6348238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192192$53CAC5E7-7BC2-4FD2-912C-E37423E6B0E2","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":"Q3192192$B326A8BB-5625-404D-B33C-71BD50A88F14","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ffc601f7eb0749c8e2a63d28b988c6b600d64b35","datavalue":{"value":"https://doi.org/10.1007/978-3-319-08587-6_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q3192192$3BD9A547-78F8-4731-8219-2E150A977DCA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4f1ec2f685a71b856ad10bf54601ede3e4a4e953","datavalue":{"value":"W82721630","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192192$E121A1D3-F5A8-49E3-B052-3CC3707BA15F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cfef63e0ef11ed3e81dd88457ea330006819c56","datavalue":{"value":{"entity-type":"item","numeric-id":5425450,"id":"Q5425450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84c2104aff5351c4ccc38e956023def78ac3478f","datavalue":{"value":{"amount":"+0.8947687","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":"Q3192192$9E23A286-EF3A-4193-A933-888E353926A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61d365e86cb068f601c6d2d7ccdc7e40a5b51875","datavalue":{"value":{"entity-type":"item","numeric-id":4945224,"id":"Q4945224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e3202b25405b52dc323f096e13f3b6cd1d97dd3","datavalue":{"value":{"amount":"+0.8760509","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":"Q3192192$11E0F007-649C-432A-9963-E0BCF7C2DAD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0913a62d4a4cad9c6e300c9e86267156ced39ac5","datavalue":{"value":{"entity-type":"item","numeric-id":4508400,"id":"Q4508400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2062b643990e22c1201fbbf51ce442e7e7122633","datavalue":{"value":{"amount":"+0.87552226","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":"Q3192192$707F7038-0CD4-43EB-B856-E1176482E14A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1990d77e9c082ed3b93eb00c37d8f154a5bc967","datavalue":{"value":{"entity-type":"item","numeric-id":1401306,"id":"Q1401306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2062b643990e22c1201fbbf51ce442e7e7122633","datavalue":{"value":{"amount":"+0.87552226","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":"Q3192192$24FE1E45-2CD2-4FBF-93DC-A07722164F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ebe9b47b6fefc2b4bbaca51c9c4c0f392940429","datavalue":{"value":{"entity-type":"item","numeric-id":5009429,"id":"Q5009429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bdcc0bfb752d3d1e572df7ae6219a54868c87f2","datavalue":{"value":{"amount":"+0.87530106","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":"Q3192192$B1D786DA-8F26-48D2-B297-07F40B0F828E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c6da5093077fb2c906dc396a569c4906009586d","datavalue":{"value":{"entity-type":"item","numeric-id":5395118,"id":"Q5395118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b9726420dabafd13d41b01c978d8f165721c9e9","datavalue":{"value":{"amount":"+0.8680087","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":"Q3192192$28D174C4-6BBA-442D-8BBF-71AA3D13D650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65103e820561a9321c0c366efd2359a0c13391cd","datavalue":{"value":{"entity-type":"item","numeric-id":4475142,"id":"Q4475142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e01e90da9fc6064a624f9e49d20f0f93cdc3638","datavalue":{"value":{"amount":"+0.86308306","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":"Q3192192$AC103732-1816-4092-9F81-5A521E25BA2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d32a15bb5487f362e884b6ef6ab421c146ef6641","datavalue":{"value":{"entity-type":"item","numeric-id":3560845,"id":"Q3560845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a604c15836ff3c703b361c1d0b30465d99fe365","datavalue":{"value":{"amount":"+0.86288166","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":"Q3192192$91C510A9-171D-49AD-AC5D-AC1ADB40B325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a6609ad46b28cb2f7a41e74eeaa506229b97a53","datavalue":{"value":{"entity-type":"item","numeric-id":4738238,"id":"Q4738238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"673d4f911c8c2914f8ba2511d4dbc80e09463f45","datavalue":{"value":{"amount":"+0.8621006","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":"Q3192192$226AB86E-244F-4242-A3A2-31E874B36EB4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3192192","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3192192"}}}}}