{"entities":{"Q1904397":{"pageid":1915139,"ns":120,"title":"Item:Q1904397","lastrevid":47378281,"modified":"2026-01-01T13:53:02Z","type":"item","id":"Q1904397","labels":{"en":{"language":"en","value":"Searching for circles of pure proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 828191"}},"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":"Q1904397$1C3DE3B1-4A36-4A35-9390-90E81748493D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ce580e5676dc4da766e2cca3474a34820dad5b6a","datavalue":{"value":{"text":"Searching for circles of pure proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1904397$42F7D849-2801-4993-B7D7-4D6EC7BA8FA6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"125027d4ac5829941321c9db8fca78368e8fd093","datavalue":{"value":"0838.68101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1904397$0F141859-2AA7-4FEA-820B-8F193CF459C2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"79330834389961768be9e1aa9309619ab94f3368","datavalue":{"value":"10.1007/BF00881802","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1904397$F9EB83BF-9BC3-498B-98DD-4787E36F029D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba90afe3c39216a5a167db74b8f9f42ac7df8da6","datavalue":{"value":{"entity-type":"item","numeric-id":220717,"id":"Q220717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904397$02CA7F81-6D57-4C43-B58D-199A40E46DAD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904397$2941FC9A-1DC8-4F9D-9C30-84416556FBE8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c6a4059c7dcb0f47b5fff19f8c6a086d332c3ac5","datavalue":{"value":{"time":"+1995-12-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1904397$77A2C972-C8C5-4802-A22B-BB2F6EFCACD1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1904397$C73B83B2-56C9-4622-898E-46E60EF3353A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3b7662b4124c7b5fbb84058531666e78426e8318","datavalue":{"value":"828191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1904397$48518A59-1E58-433C-915F-14875E185E58","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1904397$33B019B1-3ECA-4390-84F3-2E277723237D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b122493aa187848802c8e3557f8eeceab36c1f30","datavalue":{"value":"pure proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1904397$E65EE825-6DFC-4BDA-9B9F-9E19ED965879","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"99d58cf2883dcd876ddfa06d58f69c2065adf89b","datavalue":{"value":"Q114267040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1904397$105E933F-18B0-404B-B4C8-3FACAFC32C23","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904397$28A3DBB8-4C4E-4DD8-A641-9DD99D3E39FF","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":"Q1904397$472F6E07-0BDE-4D0C-A4C3-8EEFCE48941B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac2e1730505dc38b28b0c175adb4ff33adc97db1","datavalue":{"value":{"entity-type":"item","numeric-id":1242883,"id":"Q1242883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904397$D0FD9D65-58BB-437F-9716-ABAF40FA1C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9843c8ee14c0643e458996a068684041675ad668","datavalue":{"value":{"entity-type":"item","numeric-id":1060210,"id":"Q1060210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904397$93B3E716-8F0E-4179-A550-7238F3096D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7add01291c95ebcb031afac6fc8c8b1659115c10","datavalue":{"value":{"entity-type":"item","numeric-id":1229761,"id":"Q1229761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904397$805A48F0-868A-426A-8FBB-B5DF84E34231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94837cbf421ca0a854fd08e0fbbcf104ba0bef7b","datavalue":{"value":{"entity-type":"item","numeric-id":4264737,"id":"Q4264737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904397$D58F7EEE-B453-4090-ADF5-439754A24438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a97f2ca7733e53a360558deedfba3ff56eaab626","datavalue":{"value":{"entity-type":"item","numeric-id":759491,"id":"Q759491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904397$160C1814-6337-4268-A39C-02EF15AA53EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0620e875ace4454552471ddc26f3c19b333694a","datavalue":{"value":{"entity-type":"item","numeric-id":3994754,"id":"Q3994754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904397$489FCF26-C85B-4320-A08B-81575A90E8C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60fe42a8626fe294c0af822c4d003f8af2d5c2d1","datavalue":{"value":{"entity-type":"item","numeric-id":911807,"id":"Q911807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904397$3045BBFF-1150-47A8-B108-239BE012964C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa6ef22604ffcaf8d1dc55b11c5f547fd8d6565f","datavalue":{"value":{"entity-type":"item","numeric-id":4296171,"id":"Q4296171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904397$825BC49B-78D9-45AB-8AE8-E21B684CFD1B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2776a793482ad97477939f89593c842ba25e582","datavalue":{"value":{"entity-type":"item","numeric-id":1815858,"id":"Q1815858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06b636d67acb0a84cae2f13450f50a41e4a4225a","datavalue":{"value":{"amount":"+0.7917322516441345","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":"Q1904397$EB6531C7-99F2-449C-A032-DAD11A213201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97f88506a92079a5b24ed1e49a3b24f106d59380","datavalue":{"value":{"entity-type":"item","numeric-id":5951530,"id":"Q5951530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06b636d67acb0a84cae2f13450f50a41e4a4225a","datavalue":{"value":{"amount":"+0.7917322516441345","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":"Q1904397$FDD7F1AD-0B7E-4978-AAF3-A34CAD60FC63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27b4f735c9b2a4668f9812a90084bf78f5c96da9","datavalue":{"value":{"entity-type":"item","numeric-id":1383993,"id":"Q1383993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2e847e676a06ba8cbfb58d06da867e3d9544b1b","datavalue":{"value":{"amount":"+0.7785869240760803","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":"Q1904397$826A59DF-11F6-4472-B01F-CB1F191D8B2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27c115c87800ff78afacf69737fff282691b60e0","datavalue":{"value":{"entity-type":"item","numeric-id":5951529,"id":"Q5951529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d6b97197ec013c47fcb5f933bc8dcd5b8dc74e0","datavalue":{"value":{"amount":"+0.7317977547645569","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":"Q1904397$EF55FAD8-10B4-4039-B4FC-02DB17B1E1EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d5f69c789071bf14a8417081271429c23160ada","datavalue":{"value":{"entity-type":"item","numeric-id":4816538,"id":"Q4816538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20728bd66271dc364c84008138e05dc9a7905909","datavalue":{"value":{"amount":"+0.7169478535652161","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":"Q1904397$13C94E8C-0688-468C-8BE1-8B6B4573A495","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1904397","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1904397"}}}}}