{"entities":{"Q3830546":{"pageid":5860452,"ns":120,"title":"Item:Q3830546","lastrevid":54477275,"modified":"2026-01-27T03:31:33Z","type":"item","id":"Q3830546","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4106292"}},"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":"Q3830546$1B4C4D85-1E60-46F6-B89D-7AED7BD9CBA1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b84b813cda4312a7a559fc4da93fe6816577e35f","datavalue":{"value":"0675.68048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3830546$3D3CFE88-572E-41DD-930D-EEC09EB3A535","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db20d60fdab35354b81f8a87932ead73c4375818","datavalue":{"value":{"entity-type":"item","numeric-id":1097713,"id":"Q1097713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3830546$561BDC8C-9692-49E2-9A4B-D121DF6C742A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3830546$8873D2FB-3057-492E-AA88-4AB5CDCB5F37","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3830546$FD57D2F9-1537-409D-B0A6-E450EECBDCAB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33f2d658a133b2e8927154ce7d42ca47ff389b5a","datavalue":{"value":"4106292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3830546$1CDAE104-488E-4967-A546-4351C5AE34D4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adba8b3158d5ac0bcf0a5ba3e6acf4b16e18aec8","datavalue":{"value":"minimal models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3830546$B60F0680-6D0D-4CBD-B8E2-6409A30CBCD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ced51c5c18816bc9aad70fa4b6cbeceeae21ce99","datavalue":{"value":"circumscriptive theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q3830546$0D2C4B4F-9653-4454-BEDD-52DF7E7CB494","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":"Q3830546$BD635659-4F5E-4F28-8B71-DB20D4B536F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e829ba67a2705529c876fa453030f7a97a88269","datavalue":{"value":{"entity-type":"item","numeric-id":1123640,"id":"Q1123640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0d1880560a40545da3c2f93fcde8694cbf76a8c","datavalue":{"value":{"amount":"+0.8280038237571716","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":"Q3830546$6FC64FF3-D66E-48DD-B1BD-3C03E82F5D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd3234deec24218a713dfb1f6b75ec8fce252df9","datavalue":{"value":{"entity-type":"item","numeric-id":578934,"id":"Q578934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6a40bf59a615e544f2e4bf7e4ba2009ee06ac78","datavalue":{"value":{"amount":"+0.8202724456787109","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":"Q3830546$0D772E78-A14B-45BE-BCA6-47F45C282E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"716f31798a9fa13116e903e42ff9e589042733a4","datavalue":{"value":{"entity-type":"item","numeric-id":4539614,"id":"Q4539614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8310f9f0ebc843230d1c43e230f33e20d73a074a","datavalue":{"value":{"amount":"+0.8161837458610535","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":"Q3830546$8D64769C-1DEC-45E4-9841-1BA7FD37C6E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ff7bff40333ddddced7100cc203155153a93c2e","datavalue":{"value":{"entity-type":"item","numeric-id":3490987,"id":"Q3490987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25ef8cff1ce042ac8e7be08e0abeed017073c6c2","datavalue":{"value":{"amount":"+0.812476396560669","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":"Q3830546$12365A2B-8925-4397-BB2C-5A0865CBFF05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"567997adeb79521b33bad7cb9aa877cf2a61e8f4","datavalue":{"value":{"entity-type":"item","numeric-id":3192208,"id":"Q3192208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d33b6cee750f22f012a8a63a11f51721f9b458ed","datavalue":{"value":{"amount":"+0.7953721880912781","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":"Q3830546$1DFDCFDE-85DD-4FBA-AA54-451829FD3A70","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3830546","badges":[]}}}}}