{"entities":{"Q3150301":{"pageid":3161017,"ns":120,"title":"Item:Q3150301","lastrevid":47994202,"modified":"2026-01-03T07:33:29Z","type":"item","id":"Q3150301","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1809862"}},"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":"Q3150301$9B2E6461-6B92-4665-BB01-273A89642469","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6aea416fff9db63b5c79a6a76511e4f2d086b877","datavalue":{"value":"1020.68084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3150301$8F5B1B74-B94C-41DA-82D9-5B76ADA50F4C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"41390ccb2889a06af91bd7d467009a1fde2d1850","datavalue":{"value":{"entity-type":"item","numeric-id":862394,"id":"Q862394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3150301$CF17E7AD-82EB-4444-90CD-3D2A844714F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bffdc8b8d5e9929ac7ba3da2bea94b5f4ddd4baf","datavalue":{"value":{"time":"+2002-09-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3150301$C7444C6F-FF2E-494D-825D-F6B1F7870A66","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3150301$40CE055D-D78E-4405-9C53-BA7179C5F3AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3a4abb83c63865df5dcefadb18078bcb3565153d","datavalue":{"value":"1809862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3150301$DE5FEACD-0A8B-4E03-B942-75C532D55278","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4ed2b34dcd1bac43d6c0a46967187674eeb0f36","datavalue":{"value":"superposition-based theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q3150301$F37099CE-B601-4B7C-8265-98BF1222507A","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":"Q3150301$6E7ABAEE-818A-4EF4-B589-A24AB88EA983","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b065cdf9ee5815d7aba3bc448dd3137c103308e","datavalue":{"value":{"entity-type":"item","numeric-id":2870167,"id":"Q2870167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b400d6d90274717831b9039c824aee635ed074f","datavalue":{"value":{"amount":"+0.9092585444450378","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":"Q3150301$739AEC69-2F48-41CC-9247-28FFA4DF18D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca094adf73b2db58c56421e97dacaae30aeb0afc","datavalue":{"value":{"entity-type":"item","numeric-id":4539621,"id":"Q4539621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab10bdadf83d8101747c6b51146d3bb300552cb1","datavalue":{"value":{"amount":"+0.8517827987670898","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":"Q3150301$7092FC9F-D9DF-46E1-873B-55A54DD8DED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a53ea5abfeaa679920eec16de9bbc07b3afe3f4","datavalue":{"value":{"entity-type":"item","numeric-id":5307061,"id":"Q5307061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c6c71401694643e0334f73361ccff6bfeee3f5f","datavalue":{"value":{"amount":"+0.8367975950241089","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":"Q3150301$B1032E1A-C0E5-4494-BBE0-C3DF5698CA74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"663b4e5a63cb4379d9ebb8567a8fb5f4ba79e6ca","datavalue":{"value":{"entity-type":"item","numeric-id":757094,"id":"Q757094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8a16a8401c7371d58f3a9dbca43679029511826","datavalue":{"value":{"amount":"+0.7931498885154724","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":"Q3150301$AD917722-BBCB-410E-BA58-EC11C11E5C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9e5b31655744c22bb0dbc93fe0294f94ae986c1","datavalue":{"value":{"entity-type":"item","numeric-id":2817300,"id":"Q2817300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4286878554f44167cda9ea763b54155a9daecbe0","datavalue":{"value":{"amount":"+0.789953351020813","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":"Q3150301$3C772D6D-9157-49DB-B2E7-27C551B6A7F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3150301","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3150301"}}}}}