{"entities":{"Q4699354":{"pageid":6728931,"ns":120,"title":"Item:Q4699354","lastrevid":46816890,"modified":"2025-12-25T15:57:04Z","type":"item","id":"Q4699354","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1361536"}},"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":"Q4699354$415DD235-FE72-42A7-AF25-607252667EBD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a0794d122743f588b8d33401d4b10cc55bda8e6","datavalue":{"value":"0937.03064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4699354$CBFBBDB8-4BFD-4FED-91CC-9D81E894DF35","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":"Q4699354$D0CC5732-8A38-4C0B-BF51-1BB0C0E7786C","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":"Q4699354$A8B7A1CB-5F90-4371-B566-A3280FE0399E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc2df620fd6a8df372731edb4d2b9ffdc4ef3885","datavalue":{"value":{"time":"+2000-05-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4699354$9EA38BAC-CEF9-48C2-AB14-F2C4EB78C60E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4699354$D81F57F5-951B-4E02-9619-B39715EAC331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4699354$1C3285A0-FF90-4AB5-AA5C-1A1D81AA4174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4699354$0FC7EDA1-9FB0-4F8F-AE61-316BAE9B91BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4699354$467284B7-35F8-487A-8EE4-1A5297F9D21E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4e210e466978a44cf49401b6a92d8cacacee847d","datavalue":{"value":"1361536","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4699354$BB3C59CD-A9EF-4ED1-A06C-216647E83717","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2fb7fd21994c10f92530b0b1d01b0c0b292cf5f","datavalue":{"value":"no counterexample interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4699354$870EA17C-A084-4C16-94B9-7A2A52DE1BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21e1ef7ba7bb7d8e4488c661444dfd01828a1389","datavalue":{"value":"computational interpretation of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4699354$A168EA20-B246-4271-81FE-F8C0A87B480E","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":"Q4699354$15EC389D-1DD7-4697-B139-A6A2A06A5E9C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f76a4115cd60a2be72db49ad07f3250a45e7287","datavalue":{"value":{"entity-type":"item","numeric-id":4247298,"id":"Q4247298"},"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":"Q4699354$B50B4221-68E7-4FD4-8AC9-C729C84D36BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2165b7d72435e0451f9da01adc5c48b9d4009cd8","datavalue":{"value":{"entity-type":"item","numeric-id":4228077,"id":"Q4228077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ae1cfb5d19745f49a5011766cfd404c6f4781fb","datavalue":{"value":{"amount":"+0.7940491437911987","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":"Q4699354$D13B0357-EB0D-4E97-B4DE-D7580F68E279","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":"289cbf7224a6dbf5d03dd19cf0031d3ddee63af0","datavalue":{"value":{"amount":"+0.775253176689148","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":"Q4699354$37B15FAA-665A-4633-9748-9CBDCB7BE3BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4699354","badges":[]}}}}}