{"entities":{"Q4489064":{"pageid":6518663,"ns":120,"title":"Item:Q4489064","lastrevid":47486842,"modified":"2026-01-01T21:17:02Z","type":"item","id":"Q4489064","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1471980"}},"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":"Q4489064$A7EE3A0C-5D06-45C8-8A9E-0DE65B3ED21E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f493050e825c2fead7de15e8fbb4af4589848869","datavalue":{"value":"0951.03052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4489064$61E46DCB-0E04-41A9-BC83-3CB539BC2810","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"06644c28854d4134a09144ca7d53b7f0310fd152","datavalue":{"value":{"entity-type":"item","numeric-id":453197,"id":"Q453197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4489064$8A00615C-C57E-490C-8CFF-962AE7936F8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00ef32c5864b607ccf80c983c44b8c3fc4484c5b","datavalue":{"value":{"entity-type":"item","numeric-id":1096389,"id":"Q1096389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4489064$3FFA099B-3F8D-4ADC-A1CD-FF578415875F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a293b32d791126f92ce379ae6161ce6d2eae424","datavalue":{"value":{"time":"+2000-07-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4489064$F695ACC7-8905-4FB6-8155-494B354A0859","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4489064$EDCFAF14-46A1-4B00-A152-B40C82FBFFB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4489064$66492C29-F43F-465E-99DB-C522A210A575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4489064$B1D5F152-0983-471F-B744-D1ED3E76EC04","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0cf26b1103a72749742a20ad05dd121980297f0c","datavalue":{"value":"1471980","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4489064$1A197174-6369-481F-AE44-F383CAEE6F77","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19fbc9329823a1115cade0bc6a8693a7b26bc014","datavalue":{"value":"Boolean programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4489064$89500C35-4A9F-4F0B-BAFD-9351EB477657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb5a830579b475e59eaac799be7398a9142f423b","datavalue":{"value":"Boolean functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4489064$D8B9497B-796F-4C39-B731-7355B99CB6A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86c841a7e9b13f08ad4266c94e9901d2467a6ede","datavalue":{"value":"nonuniform PSPACE","type":"string"},"datatype":"string"},"type":"statement","id":"Q4489064$D4578DEC-AC84-4535-BD52-8D4BFB84B3D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a0dd3e1b83404196449aa90cc83aae915af1cf","datavalue":{"value":"proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4489064$3184AF69-D5A3-43B0-8BFC-FABB41B6CACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f2ec1f8da7bf4472b672aeab199658f3bd04f2a","datavalue":{"value":"quantified propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4489064$8B919C5F-411D-4EFE-A151-A14D037F52FB","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":"Q4489064$9B6EA88F-F0C3-4521-AC5C-AE560FB39A98","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84699ed35c9a63539084e327849b3a5168f7f087","datavalue":{"value":{"entity-type":"item","numeric-id":5466546,"id":"Q5466546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72d96e0c2ae00a67ea1a51703ddab3c36461d738","datavalue":{"value":{"amount":"+0.862992525100708","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":"Q4489064$F3A8362D-AB72-4E94-96E0-F130A9D7139E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2c095a5920571272f1325dcc468b58346cefb08","datavalue":{"value":{"entity-type":"item","numeric-id":5326469,"id":"Q5326469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c827ec561b4e3aea72e09abb007f200967f74892","datavalue":{"value":{"amount":"+0.7500184774398804","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":"Q4489064$5470648F-3AC5-4E3E-BCB5-1286C90640BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c22a86a4c68b942ede25df9ea7713b7d0d3197c","datavalue":{"value":{"entity-type":"item","numeric-id":5394598,"id":"Q5394598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce885f3b6477b7f38a88730bf25ba9408d5b58e8","datavalue":{"value":{"amount":"+0.7461847066879272","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":"Q4489064$70326183-D497-44A3-8620-4C42C333928C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b53240812cb720888e876651006e62bbc58b43d4","datavalue":{"value":{"entity-type":"item","numeric-id":4718423,"id":"Q4718423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9434dbffcd71df2ed35474d6102ba3c6a3ce75f2","datavalue":{"value":{"amount":"+0.7410579323768616","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":"Q4489064$A06C6A70-67C1-4C5A-8929-25BCC9BA977F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d8d7eaec06e6bf804b952f47ec9d5b5e8049f19","datavalue":{"value":{"entity-type":"item","numeric-id":2642467,"id":"Q2642467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35fa6e1530fcad0e9250570e263de0f26774182b","datavalue":{"value":{"amount":"+0.7335637807846069","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":"Q4489064$C9FEACE5-FB21-483A-8585-F149B0594887","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4489064","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4489064"}}}}}