{"entities":{"Q4729755":{"pageid":6759332,"ns":120,"title":"Item:Q4729755","lastrevid":49307071,"modified":"2026-01-06T22:46:03Z","type":"item","id":"Q4729755","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4114588"}},"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":"Q4729755$2EA90FB0-B9C5-444A-BC20-F7DB3BB03F16","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c79f6e4516ba01fd660c942aeb2d6e998928232e","datavalue":{"value":"0681.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4729755$2F8D90A2-CBCD-4D8E-887F-74791545F982","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5104b40bb0f89e895464baa6fb61304080f285d","datavalue":{"value":{"entity-type":"item","numeric-id":202387,"id":"Q202387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4729755$FCAB72C9-3350-4BD5-830B-C510C3EDBF59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c87dd640a294ccf897adf403b99c8d88ab608678","datavalue":{"value":{"entity-type":"item","numeric-id":1098831,"id":"Q1098831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4729755$57BDA21E-7647-4CE5-AE48-28BEE8BF7605","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q4729755$88FC793A-892C-4C27-AC9D-67F9567B7AA3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5961f14e3e7130810e300fdd32b331a1462043b4","datavalue":{"value":"https://eudml.org/doc/118088","type":"string"},"datatype":"url"},"type":"statement","id":"Q4729755$5E94E190-998B-4FF9-B407-6AB26303DFEB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4729755$4F8250A7-8980-4BA4-952A-6403B6DDF1FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4729755$F5A4E79D-E379-4B77-8B70-4BF24D0A9B35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4729755$B88649D2-9981-4500-AD28-CF8BC3A75EDF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77498dcc4becd41b34d513aafb32e0272e7949a8","datavalue":{"value":"4114588","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4729755$0F752520-7F51-47F4-A228-6D040DFAEDB1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7eb7b9d28a5bf5505f9d9b010b6506d9330b59a7","datavalue":{"value":"semantic tableaux method","type":"string"},"datatype":"string"},"type":"statement","id":"Q4729755$1B315ADB-70C9-47AA-8C5F-DEE3E755FFE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4729755$745CAA4D-8562-4E68-ABB9-5D632C2752A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0824f84d2ff436e3188a0ea2c6b17e41701e710e","datavalue":{"value":"proof procedure for classical first order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4729755$A54D0128-8E65-4EFB-A2D6-B7164E06E250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4729755$910FA39B-D835-478B-953C-2BE18EFAE1A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4729755$E762A320-30E8-46D1-900E-2679C2F41F64","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":"Q4729755$197DFEC7-0128-4F61-A7E3-76BC2C3B018E","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"c2667b6c51a7a1c81ed5d8e2f0a8ea23f6174fb3","datavalue":{"value":"bafkreidsdljqqhdiv4fccjik3tt3w7qexswelqwwlv4f5fdnewqy2sdguq","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4729755$DD8D985A-F074-45F6-A23C-9CBEB6B335CF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d370192bbaebdd64f89013897ae67d132d2f82a","datavalue":{"value":{"entity-type":"item","numeric-id":3996619,"id":"Q3996619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd5f639dd15722a44ef761c8119b20f43f6e0c66","datavalue":{"value":{"amount":"+0.8493573069572449","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":"Q4729755$66C9D77E-6572-4148-8239-0136BC6A9A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af85341fb3a22ba18faf1cdc9f498320571e9132","datavalue":{"value":{"entity-type":"item","numeric-id":4863622,"id":"Q4863622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b13cd7e534d7b325dc7db3280d767642e6f389c7","datavalue":{"value":{"amount":"+0.7965339422225952","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":"Q4729755$00D6F99F-E261-4781-88B4-A40A2795B6E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9765cac59eddcea60234504b856d9327e06abad7","datavalue":{"value":{"entity-type":"item","numeric-id":3496309,"id":"Q3496309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6748405dac0994f21d2f47637363593ac5971ea1","datavalue":{"value":{"amount":"+0.7949578762054443","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":"Q4729755$9926912D-C99D-4095-8EA5-93B33C80459D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfc908b5a67bc17bd2b3b9d7e3d3d9681aac12d3","datavalue":{"value":{"entity-type":"item","numeric-id":3781734,"id":"Q3781734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a38614b2d35b56ab2f54906a67c7dd2654eef69","datavalue":{"value":{"amount":"+0.794916033744812","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":"Q4729755$1FB0DD72-292E-4946-BD31-688F85A57CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de570a5490a8639f0b098ace4a75bf266d211ee3","datavalue":{"value":{"entity-type":"item","numeric-id":3406692,"id":"Q3406692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b49b6ef27c6698945010ed14d7e8fde49dcdd36","datavalue":{"value":{"amount":"+0.7872054576873779","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":"Q4729755$5CEA4503-2067-4289-80AA-97FFADDA20A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4729755","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4729755"}}}}}