{"entities":{"Q4304111":{"pageid":6333712,"ns":120,"title":"Item:Q4304111","lastrevid":46280106,"modified":"2025-12-24T11:40:16Z","type":"item","id":"Q4304111","labels":{"en":{"language":"en","value":"A Note on Relative Efficiency of Axiom Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 635972"}},"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":"Q4304111$E1D594F1-7D60-408C-B570-CA5A0D1B4FF5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6fa348c483fc46341a12887c393d209302e81da7","datavalue":{"value":{"text":"A Note on Relative Efficiency of Axiom Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4304111$CF5F8E37-28F6-4194-8A95-2D9C9DD2070A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"84000a636ff95712a85c3ca5f22a61d7fdabba58","datavalue":{"value":"0812.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304111$2F0F629A-0816-4A8E-99B6-82193D63DF46","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5aa35328f767ec5c95f2ba59fee4bcafe4a502e","datavalue":{"value":{"entity-type":"item","numeric-id":4304110,"id":"Q4304110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4304111$0A18CD66-3010-4316-92B9-22C22FB0E73A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"70b479ab481d7ee1dcf779ab78c0b800106fa990","datavalue":{"value":{"entity-type":"item","numeric-id":167897,"id":"Q167897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4304111$349C0968-006A-4B19-9D1D-2F648498100D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cb78a179ab7f7671775d8afe3c2e6cdc5cf26c4","datavalue":{"value":{"entity-type":"item","numeric-id":242615,"id":"Q242615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4304111$9BA621E6-BA08-4E30-BA03-B17FAD68EEA8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4304111$817148BB-8947-4EAE-8882-0B30DCB98EDA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b6f4618f07ae4c1833eefdbdc0d1b024b3b673c","datavalue":{"value":{"time":"+1995-05-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4304111$81294564-6028-4891-BEDB-2936A8952F6E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304111$794E1E3B-CB53-41B0-89EB-A6E0A6FF267B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304111$BCCB69BA-0932-4710-9F41-F3040B305136","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34645b99d6a3badaceffe8c8678e62288797f285","datavalue":{"value":"635972","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304111$2F613EE3-4927-45BE-9F48-EBB3697EEE3C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"465220696ebc02ff59ff1c48dbb739ecbb8860c0","datavalue":{"value":"relative efficiency of axiom systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304111$18678AFD-1EBD-41D9-A196-7D19D36D49CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25a1c8c8ad25ebbae6d85d40327ef6d3e55f3de7","datavalue":{"value":"polynomial time computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304111$DEFCC974-3259-4019-914B-C64FE9DB178F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0adbdefe0dc42708f88ae9d7dd6fd75976007d3","datavalue":{"value":"speed- up of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304111$06D2295B-987A-4D6D-A032-A8E9C573CF14","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":"Q4304111$04D3C76D-4ABD-4E45-8232-1A926E8FA06F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"65ae8bd78695fd8cb377cc37c859bc4830bbb045","datavalue":{"value":"https://doi.org/10.1002/malq.19940400211","type":"string"},"datatype":"url"},"type":"statement","id":"Q4304111$CAE582C0-449E-4C8E-BB25-7D5360846918","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"21cfa493b82a3826d823881b17c0f427177d5e70","datavalue":{"value":"W2022696832","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304111$4EAF9BF3-74F8-48A3-96C7-1D8299982CDD","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1694de1ff39cbfba525cdd612e1913c8db3ab858","datavalue":{"value":"Q114696405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304111$D2C3A45E-CE91-4E91-A029-C266703280F9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf19753fdc4aceb4fe2e72e418d7c4420dcc62","datavalue":{"value":{"entity-type":"item","numeric-id":5286672,"id":"Q5286672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4304111$47FA3ABE-6B1A-4299-A654-2B114A9839AC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8c698d7bc70dd430edd92ece91f56a3b5144cb80","datavalue":{"value":"10.1002/MALQ.19940400211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304111$FE433992-54D0-48BC-A937-F0866FE0F47F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b6330f7a6069652af1709a4f8961d6608b2cf53","datavalue":{"value":{"entity-type":"item","numeric-id":3480036,"id":"Q3480036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbdbab69765d2cae4810225e4baa3edf93a83df1","datavalue":{"value":{"amount":"+0.7526105642318726","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":"Q4304111$23FBC065-D428-4B82-A1E3-45AA93E8F2D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9f95f76e953b56bf0130e14d725876146035256","datavalue":{"value":{"entity-type":"item","numeric-id":2488582,"id":"Q2488582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1100351f33bfd70c54adf83b675ac3d6bc7be496","datavalue":{"value":{"amount":"+0.712882936000824","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":"Q4304111$B1D95044-66BD-4D59-98ED-1333214DC4AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43db44d2a19daeb8f2c3c361338b1df38ab6c8c3","datavalue":{"value":{"entity-type":"item","numeric-id":2455258,"id":"Q2455258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c7bc657cc3ae33617a7b7c5fc3c2f3ce5ca017e","datavalue":{"value":{"amount":"+0.709192156791687","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":"Q4304111$F5B879F2-84D9-4116-992A-C33EAAFFA92D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d99375d9af310691fe93cef97a2d130b782c085","datavalue":{"value":{"entity-type":"item","numeric-id":3472096,"id":"Q3472096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"443e61af830bfbd5ce4a990ea95a2159c0bd09ad","datavalue":{"value":{"amount":"+0.708742082118988","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":"Q4304111$ACF9276D-5A82-4B50-8BB7-E80D96033064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82ab6fe676911df85c36a6213966e816a378d156","datavalue":{"value":{"entity-type":"item","numeric-id":4032866,"id":"Q4032866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acc1cfdc3c1c377e7520e7e027cae4bcc784faa7","datavalue":{"value":{"amount":"+0.6997509598731995","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":"Q4304111$52EBC84A-4E6E-44A3-A906-8CC03D524765","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4304111","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4304111"}}}}}