{"entities":{"Q4247298":{"pageid":6276899,"ns":120,"title":"Item:Q4247298","lastrevid":46825824,"modified":"2025-12-25T16:21:40Z","type":"item","id":"Q4247298","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1302054"}},"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":"Q4247298$E8DF33B0-00DE-4331-9319-FA8913902FAE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6bd8a5bf83a94a9582863d157c52ee9747fd305e","datavalue":{"value":"0940.03065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247298$15847C22-AFDB-400B-8825-1D57B9FAF87C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"41727d55f4d48c1029c1bbe7a3cee1640d697b9d","datavalue":{"value":{"entity-type":"item","numeric-id":200743,"id":"Q200743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4247298$2D2EE1BE-DF1B-45C1-AD50-08A84017A643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b83ed7e99eb27f1c55fbf572cae2ecab18119ca4","datavalue":{"value":{"entity-type":"item","numeric-id":428881,"id":"Q428881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4247298$345585FE-B684-40A9-87D8-F36C78075EAF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d0732f4214382551d1f95a395d7fa1941f097a6e","datavalue":{"value":{"time":"+2000-07-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4247298$F992CC7D-F06A-4298-B6F1-11ED34A3F903","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247298$3F88FA33-5FAF-452A-9995-1C83249C8148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247298$E3E6F0A6-A846-46D8-85CA-308E54279681","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb96f0d942c3ad8fa52356ba8347f4379b34fb8d","datavalue":{"value":"1302054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247298$EE83CF41-A56F-4316-AB8B-C9E4BF258967","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64bd6bd0ed38bd10e747989a06f5dba46eebf2ad","datavalue":{"value":"no-counterexample interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247298$95B5C899-A74B-4E19-8F5B-9496AE72C050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e677574649f00fadb64ce0919244805a3271c23c","datavalue":{"value":"prenex arithmetical formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247298$809EF641-8502-41EB-B384-965411531942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"601a2dfd63944037c848478d25d0bbe41296aa8f","datavalue":{"value":"functionals","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247298$C83C90A6-F437-4FD3-AB4F-2331C2636C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b546a3f18e92dab33d371e886bfae2d029d2be4d","datavalue":{"value":"Diller-Nahm version","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247298$B14259B2-3FA5-4A3D-8DDE-DFFF98A1B6F9","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":"Q4247298$5DB444E2-4309-478D-880F-9599BB22616D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19155fbd2aa97d489d2499ac812ae9aeda64cff4","datavalue":{"value":{"entity-type":"item","numeric-id":4699354,"id":"Q4699354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"647d61715e0e45f9179c49f1769ae274f4ccae23","datavalue":{"value":{"amount":"+0.8345494270324707","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":"Q4247298$CDEFE820-BA67-42D7-BBFA-E8B0B6C777A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ccc57a5e7131f2d6f81465eee8a078c1992cf72","datavalue":{"value":{"entity-type":"item","numeric-id":4948521,"id":"Q4948521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fe79d13b94ad8557d42f3d9610d917639bd23b6","datavalue":{"value":{"amount":"+0.7686092853546143","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":"Q4247298$24E4B3F5-ACD9-49A1-BDD4-9C50F441CF7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"663a6362854082b09fe2fe423549e8a7671153e5","datavalue":{"value":{"entity-type":"item","numeric-id":4981444,"id":"Q4981444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3eb76206ce40f0f10e4330c35b08043d9aca1d70","datavalue":{"value":{"amount":"+0.7575473189353943","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":"Q4247298$A0C17422-8E85-4D37-BAE5-9993BD0F8E88","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4247298","badges":[]}}}}}