{"entities":{"Q2908524":{"pageid":2919249,"ns":120,"title":"Item:Q2908524","lastrevid":51543755,"modified":"2026-01-18T17:33:46Z","type":"item","id":"Q2908524","labels":{"en":{"language":"en","value":"A PLTL-prover based on labelled superposition with partial model guidance"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6076933"}},"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":"Q2908524$2BE959AE-4F4B-4E43-9EDF-09838C6EE1E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f49015854e70f0cbdf5e49ddc97b8d49315e6123","datavalue":{"value":{"text":"A PLTL-Prover Based on Labelled Superposition with Partial Model Guidance","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2908524$9D4D31CC-0B53-4EDF-9D1B-A7D2DBF3D03B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e75bebc93d72cf64e8a6a3e40f0510d8d36563f","datavalue":{"value":"1358.68266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908524$87FE3CD4-402B-46F7-9044-F8E7E3E8A68B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4ce684fd2081035b573db06bcec0c011edebd9d8","datavalue":{"value":"10.1007/978-3-642-31365-3_42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908524$69A34C87-D243-4E33-A171-DCF3E34FD0A0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5493ce657ff2c3e3dc02ab18ea0d14e2e4a6291d","datavalue":{"value":{"entity-type":"item","numeric-id":748757,"id":"Q748757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908524$EDC06D87-4F09-4A7B-85F7-A96AA351C13A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e858e644a5f8f9e799cff3da307c11b687abc60c","datavalue":{"value":{"entity-type":"item","numeric-id":831914,"id":"Q831914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908524$5AAE2442-E9BB-4FC2-8A80-44F30E02B963","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":"Q2908524$27F0BB05-D0E8-4E65-8815-F39637EB7E05","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fd0374f9cee657eee67ac4dd9d79d96d1538c53a","datavalue":{"value":{"time":"+2012-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2908524$F121CD06-9468-4703-A0B9-FD4CF8F5E278","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908524$2D3C8C6A-4896-4AEC-BD36-E6D6B73CAB16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908524$8692B40A-A7BD-43EE-8D92-BF07D1BE8C48","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f9505569969262ce7d458e39301192f488bee691","datavalue":{"value":"6076933","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908524$2A9BB96A-6604-4FD3-83B9-E12B2029D3A7","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":"Q2908524$F332C5EB-2681-478E-816F-F558DAA9D914","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fb1b3c61e074f52a9f0a058ef4af158cdb0afbdd","datavalue":{"value":"https://doi.org/10.1007/978-3-642-31365-3_42","type":"string"},"datatype":"url"},"type":"statement","id":"Q2908524$A31332FC-2679-488D-A2BF-6AC7DD04296D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c8fc9bc108f7d84b4427780d65b3bca5bd325ba0","datavalue":{"value":"W1514845090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908524$F429DDA4-70DD-4A85-90D2-8D82B7D94FDE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81ac600082bc1cac5d92997868400109569cc6b8","datavalue":{"value":{"entity-type":"item","numeric-id":2891470,"id":"Q2891470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d5b3f8f6abef49b999cb0131afd8bbdaa97f5cf","datavalue":{"value":{"amount":"+0.8694314360618591","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":"Q2908524$85C0200D-9B6B-4DE6-AEAB-6A3CB17A56DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"797b0e52e2192cfd7617dabc9e2ae6b2f50cad2b","datavalue":{"value":{"entity-type":"item","numeric-id":4928457,"id":"Q4928457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bef70df5448d3ea52dd3c66452611933c3a1bea","datavalue":{"value":{"amount":"+0.7067458629608154","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":"Q2908524$ABD7228F-0AA8-4C92-B918-F6921E99E6DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"427b0915717ec29ee5bbd1791bbf402a73dd8d5e","datavalue":{"value":{"entity-type":"item","numeric-id":1037396,"id":"Q1037396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdfc4e97f982ba41012d1fea6ed081ec9166a276","datavalue":{"value":{"amount":"+0.7063573002815247","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":"Q2908524$FFE2B99D-4B5E-476C-824A-BE6D5F3C1EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4015da87dfac8abdd8c4cbd3c6ffc4e2945f61d0","datavalue":{"value":{"entity-type":"item","numeric-id":2791889,"id":"Q2791889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2af859313ecb7ad3ef22622734366d8d0414a1ce","datavalue":{"value":{"amount":"+0.7014659643173218","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":"Q2908524$B876869F-F3CD-4E01-B8E4-D5B3156E9A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac09822a4be94dcde98d1a8147322cc63e385b32","datavalue":{"value":{"entity-type":"item","numeric-id":3838819,"id":"Q3838819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bc9a8675e7a7a2f4621f8298458d243f5ce9d00","datavalue":{"value":{"amount":"+0.6976089477539062","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":"Q2908524$F592F934-E1DA-4289-963B-71C5F0686CDD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2908524","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2908524"}}}}}