{"entities":{"Q3677733":{"pageid":5707639,"ns":120,"title":"Item:Q3677733","lastrevid":50051137,"modified":"2026-01-12T19:40:41Z","type":"item","id":"Q3677733","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3898847"}},"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":"Q3677733$3F4C5868-3E51-4B46-B06C-D940D54C04C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"826646a35c27c002bcd7846a798c0f71854098f6","datavalue":{"value":"0564.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3677733$35461DB9-4CA3-4B42-A8EE-7A95BFA3171D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7fcb889156969e5a5ded8e850ad2883bdb8ab84","datavalue":{"value":{"entity-type":"item","numeric-id":800913,"id":"Q800913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3677733$4B11DA74-A56A-43E1-8777-04BB44B6EAEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"377f0577777abeddabd75e3344d5dbc70225d82f","datavalue":{"value":{"entity-type":"item","numeric-id":800914,"id":"Q800914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3677733$FD2900BD-9FB3-4CBE-ADB1-5952FA72AED7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3677733$57FAE903-380A-4A84-B0E1-428D039A1038","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3677733$A8F0EC25-E239-4C12-BBAA-D6AEA59C682A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3677733$A79CB618-6885-4575-BDEC-168376E90971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3677733$470C7F2C-73E6-4EBF-AAE4-AAC73239C6AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3677733$C80C36E3-0598-43BC-A292-4228D8C8F95C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba91612413fd4e9518a8140a68344fd5b92ec344","datavalue":{"value":"3898847","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3677733$055EE289-B040-4FD0-A0CE-D75EA8AA6078","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da8c99c92c799d8f9e0f7adfeec40e0aef6f2fc7","datavalue":{"value":"Herbrand formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3677733$05702B2D-2DF6-487F-A5CC-C93B0BC74863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98d7e694e686c91c2e8ba3c0f8654200ffa84a56","datavalue":{"value":"Krom formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3677733$C4C42076-62A3-4705-AAD2-96035D40E4F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d0a24ca95a49627adaf1c12a1b6517b577bd1ee","datavalue":{"value":"complexity of decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3677733$1D446C89-946B-433D-A12E-0449D28753EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"137d6794a6efe35571397acc6ff9f6acadf30893","datavalue":{"value":"survey paper","type":"string"},"datatype":"string"},"type":"statement","id":"Q3677733$0DAB1FD9-5CCE-408C-8E95-860790B5FBAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"524f31acce80cd889182cc8529868b69d08fe792","datavalue":{"value":"monadic formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3677733$DFBA25D3-2AE7-40C0-90C8-793E65FF4312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab53a3eafcb701aeb5fc32dd7514119028b4388c","datavalue":{"value":"decidable classes of formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3677733$61BC798C-9EEF-4C3D-9A07-532F83722D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c65c84e8d58684410e6a693a99372c2657ec9d42","datavalue":{"value":"quantifier prefix","type":"string"},"datatype":"string"},"type":"statement","id":"Q3677733$02A7ABFD-2592-4A12-814D-58261C339A04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ef3d1e723a50ff6e761b841dc7be35b8a1ffc8a","datavalue":{"value":"Horn formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3677733$E9701A8B-B633-4228-81B4-81F24A033F69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ab14670fd645ceec284d741b18aecb5f5131180","datavalue":{"value":"decision problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3677733$86EBE569-D5F3-4A98-A1CE-9109AEF0A567","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":"Q3677733$7B8118AD-9210-42E7-ABD3-E2AC8B6EBE5B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfefcfa4423e0e21b681bd1c62794fff0ec4c14a","datavalue":{"value":{"entity-type":"item","numeric-id":3032237,"id":"Q3032237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c9146457a4e7cad8b93c355e560b7a126b9696f","datavalue":{"value":{"amount":"+0.799653172492981","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":"Q3677733$D3F73048-EBE1-4C3D-8428-562BFDBDE4BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5146e586314463ed8e15202345d4edfea4abdb08","datavalue":{"value":{"entity-type":"item","numeric-id":3220555,"id":"Q3220555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4689a69f54e97adc9147631458eb71515c854fa","datavalue":{"value":{"amount":"+0.7856330275535583","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":"Q3677733$68D327B3-111A-4579-A8DF-E582CE9E27E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f94ae3bcb9061d64d89425e0c03d5c09688fff08","datavalue":{"value":{"entity-type":"item","numeric-id":3722466,"id":"Q3722466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68cd7aa236289924613a8cb88adab7fd01cd56da","datavalue":{"value":{"amount":"+0.7600424289703369","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":"Q3677733$C4315477-0C8A-4F4D-A329-8BEDA1EF0C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b4da257adfa3098e146111db07027c7417c2813","datavalue":{"value":{"entity-type":"item","numeric-id":4731176,"id":"Q4731176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9134d5b8af883c8eab1505e64243ebde29cb43e","datavalue":{"value":{"amount":"+0.7597604990005493","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":"Q3677733$E9372B01-7567-4A01-9A0E-D0D15F5F3130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2611d4b6015e00a68ae8aa1f67b99c07a91973c2","datavalue":{"value":{"entity-type":"item","numeric-id":3742714,"id":"Q3742714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d9d335e7f72f453b06f61d8a27fdaac72ca096c","datavalue":{"value":{"amount":"+0.759222686290741","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":"Q3677733$B351070C-835C-4A9E-9487-14FA95768368","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3677733","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3677733"}}}}}