{"entities":{"Q4249896":{"pageid":6279497,"ns":120,"title":"Item:Q4249896","lastrevid":46835922,"modified":"2025-12-25T16:52:28Z","type":"item","id":"Q4249896","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1303343"}},"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":"Q4249896$9C9EA99F-E7C3-4A04-8CC2-9874417E8111","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cb67ac978cd56bd2cce03022534d5f6b5c7638ed","datavalue":{"value":"0924.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249896$1D3F18A4-ECF9-4673-A670-E1966B773A94","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cf815526c4f2604ee47e98322610a52470dc8b3","datavalue":{"value":{"entity-type":"item","numeric-id":1072370,"id":"Q1072370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4249896$41237B64-B748-4A9D-A25F-0D3C1FADA286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b043e7c633006f3fac5c3bfd0395a92f663b5539","datavalue":{"value":{"entity-type":"item","numeric-id":758210,"id":"Q758210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4249896$579A28F9-55CA-450C-B280-2F409A5D9465","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"179b40780f93d89d986b6f1110abe8d9772f7f5c","datavalue":{"value":{"time":"+1999-11-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4249896$CF29DE4E-7DDC-4E03-A70C-53F08F0A8888","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249896$CB391DD3-F29F-46F2-983D-01B5334E811F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249896$7E9B10DD-F3D1-4749-ACCF-A4FC556E1432","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb8b533f801b0abb9dd3f14ffd0cd57be71d4ad8","datavalue":{"value":"1303343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249896$C36F5CF7-0164-4704-9445-EC75C289AE9E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07d49173cf701c96b3c418249b6ae3a88862c41e","datavalue":{"value":"deductive inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249896$7130B7B8-0379-4ED2-8900-3ED725A8E686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70d96809292a87cd8b7062928a512b45a735782c","datavalue":{"value":"equality elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249896$396B8011-97C8-4200-B71C-D7855F1DAA86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ccb71cd2a26e1a3e8c22e51e3e6a304bb9063f1","datavalue":{"value":"strict superposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249896$8E4AFCFE-C9D3-4B7F-97F3-59F2DD6853A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6ab1885b3495c9f68e6b32339f588fda140746e","datavalue":{"value":"superposition without equality factoring","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249896$75B088B3-029C-445A-ACC0-35579E8FA41E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"784dfdf5d121d03161037b373f67f71af6d90caa","datavalue":{"value":"refutationally complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249896$B42B49BE-3FA3-43E0-8492-AAE87172D93E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef287a9c41cd47c2bae247d76eb89c236d78d9ab","datavalue":{"value":"direct rewrite proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249896$3B751515-BD6B-411F-AF97-71A837C10329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"908ff992fa3c1a300a76e65cf400725c651eac99","datavalue":{"value":"candidate models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249896$C1A78BC2-2C50-48A3-9259-64834D7E7207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43e72f18a6d6d4af9d0b64b4577421c0d9b7a93b","datavalue":{"value":"counterexamples","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249896$8A09E305-8AA4-4DEE-B80D-76D92AC8917D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a4cde2829081e4430482af6e51f7075968e3c1a","datavalue":{"value":"direct provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249896$00CC3880-9964-4C2F-A95B-281848736D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5935250e4e60897f7fdffe660d9ac37d224e316","datavalue":{"value":"redundancy","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249896$0A7A82CE-EA1C-484F-815B-59F549750FE1","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":"Q4249896$4864FDDD-46F4-4970-B6EF-688868D6619F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d8cdcc0bc38cde26587a3338b1faf976e3f210f","datavalue":{"value":{"entity-type":"item","numeric-id":5881276,"id":"Q5881276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa96683429cee90c6d2ca2c04cabd34b4a75b3c3","datavalue":{"value":{"amount":"+0.87456214427948","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":"Q4249896$B9254F80-B116-4A0B-A82E-FB91447DBA95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"694aa61f99a25afa5a211a0321445f30285ce091","datavalue":{"value":{"entity-type":"item","numeric-id":6488549,"id":"Q6488549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d3697cb6815f1bb9721b3e114a4350c0535821c","datavalue":{"value":{"amount":"+0.8597897887229919","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":"Q4249896$21254D1D-4A2D-4ADB-96D8-62033F92BD02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a629f668f1d2f7c136d043dc6e41f13b903ac127","datavalue":{"value":{"entity-type":"item","numeric-id":4264723,"id":"Q4264723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfc3cb6b87429470331480558b2a714add633f4b","datavalue":{"value":{"amount":"+0.8418331742286682","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":"Q4249896$8BAFED3E-9130-4230-A137-D9676D59D3B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1dd61cba86890edd358c5484ba6493b7d0ae6fc","datavalue":{"value":{"entity-type":"item","numeric-id":5900726,"id":"Q5900726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f0a33ca500a35070d03651e66cfbef6c0f2a6a7","datavalue":{"value":{"amount":"+0.806146502494812","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":"Q4249896$F0AB7903-34F7-486D-BD0B-5EC3936FA657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4b1cca5b3b4f8752faa6dd4c1672915b638687e","datavalue":{"value":{"entity-type":"item","numeric-id":1060857,"id":"Q1060857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87be4b9601f79e9e73047c2ff8d6d41a6630b3ee","datavalue":{"value":{"amount":"+0.8021984100341797","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":"Q4249896$A9257E73-9BB9-4717-9A0F-0F6AE01B34B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4249896","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4249896"}}}}}