{"entities":{"Q4934563":{"pageid":6964145,"ns":120,"title":"Item:Q4934563","lastrevid":47433559,"modified":"2026-01-01T18:02:53Z","type":"item","id":"Q4934563","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1390276"}},"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":"Q4934563$2A334F87-7072-4BEE-9040-AAE29693E482","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fcda551c977335d988c811d03590a58d53f703d2","datavalue":{"value":"0939.03065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934563$986BC801-3E9E-4196-A2B1-87317738B783","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"318018faae3560d6874b4d183002bf8aee67c872","datavalue":{"value":{"entity-type":"item","numeric-id":185618,"id":"Q185618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4934563$0C17499F-1481-4AA7-B2AD-55A09EE1EF2A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95ec5b043115e52ee0328702da430700e7365687","datavalue":{"value":{"time":"+2000-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4934563$DAD7C70C-9FAB-4F31-8FB1-74F6955E86A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934563$25EFFCDE-42E4-46C3-BF52-7C521AB0E066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934563$41B52FDD-24E0-4C0A-AAB9-4B3CA87DE54C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934563$4DB66534-E8D1-42A8-B1EC-4DF138C028CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3feee98fb6a1a95642ba0c6a16390527874922bf","datavalue":{"value":"90C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934563$AE05C44A-BD29-4DBF-AC98-1012F137386D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d968d9dd982e7672714b4798b5cba046d9ff8b7e","datavalue":{"value":"1390276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934563$B4146C43-B235-4F51-8D8A-C4E952D519CD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8041d9fede6da38fbb86443f9aabe1e0a961218","datavalue":{"value":"complexity of propositional proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934563$E9427068-4312-45B3-818F-5E3C314FDECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e5c986c44cadba2608d15cdbdbd7fbd9525b6f9","datavalue":{"value":"propositional proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934563$D652E942-4FC1-4573-BF8B-8D32222D0202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7dbfac99321b282dcd1b70b1ccaaf791d12d96c0","datavalue":{"value":"effective interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934563$75575A65-480C-4185-8FE8-A5E477624377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f0cb341ca7876bc8468eee4ea8e9008984980e7","datavalue":{"value":"circuit complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934563$5C0604A1-4227-404E-9778-23CF5A534AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb5a830579b475e59eaac799be7398a9142f423b","datavalue":{"value":"Boolean functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934563$7A15B38F-0E9A-4692-AC2F-E709A0FAD142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e87618aee6343e13e99830120698ef319daa4c9","datavalue":{"value":"integer linear programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934563$548C1D5A-95CF-41A8-BCA9-1B57EB892087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be402c81f454fee58996997920b03b64b0bbe54e","datavalue":{"value":"lengths of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934563$A68A3784-D000-496E-948D-657E618F2E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82f58749215346b108a3924805b4196cdbb9ed80","datavalue":{"value":"nonclassical logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934563$43640658-2D2B-4935-96E5-CD51B491AA2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4471072f6aa47bbe125117e939e4add997a95935","datavalue":{"value":"complexity of sorting networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934563$687803F4-6075-441B-BEE7-B9A39AA3335F","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":"Q4934563$12A07B82-E674-4471-A416-A56E7F8C06DF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"580ed2424e9846e9da8bbc3a40e4cf849a4221ab","datavalue":{"value":{"entity-type":"item","numeric-id":4399249,"id":"Q4399249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bde9f4747200d0e692daf13989e6a4744dff60d","datavalue":{"value":{"amount":"+0.8514265418052673","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":"Q4934563$0C1275D6-BDE0-4861-80C1-B087B61E33E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4ef7516fef19e6ad66dadf2480597f1ae72fc3d","datavalue":{"value":{"entity-type":"item","numeric-id":3081620,"id":"Q3081620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bde9f4747200d0e692daf13989e6a4744dff60d","datavalue":{"value":{"amount":"+0.8514265418052673","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":"Q4934563$1475902B-E085-4DAF-B172-FC1D00A7B47F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d2414746d0c17a096536954eb7fca1268bd6b97","datavalue":{"value":{"entity-type":"item","numeric-id":5444711,"id":"Q5444711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b2a59d343fb9efc69e2473edd197c6d38e19ad9","datavalue":{"value":{"amount":"+0.8358640074729919","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":"Q4934563$A0426BE0-4877-46AC-B8FC-F19FE9B094AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b417248f164d120103a0cb16f0137e6e5af00970","datavalue":{"value":{"entity-type":"item","numeric-id":4263835,"id":"Q4263835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"622e1984a1c2e17964534d33704a1920862ee899","datavalue":{"value":{"amount":"+0.831777036190033","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":"Q4934563$E742FD1F-EE5C-4274-9B90-4999678F831C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ede333e06f1da3162b3a541fa4bbf91926fc13b5","datavalue":{"value":{"entity-type":"item","numeric-id":4873893,"id":"Q4873893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1f3b51ed3a2e92c71e5911ac985da69cde2754e","datavalue":{"value":{"amount":"+0.8254882097244263","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":"Q4934563$36D39E2B-5454-4853-A72B-8C8500F1820A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4934563","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4934563"}}}}}