{"entities":{"Q4647537":{"pageid":6677118,"ns":120,"title":"Item:Q4647537","lastrevid":53320943,"modified":"2026-01-24T17:43:36Z","type":"item","id":"Q4647537","labels":{"en":{"language":"en","value":"On the practical value of different definitional translations to normal form"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7001927"}},"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":"Q4647537$37F16D34-E721-4F1A-B79A-16782A92B1CD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"90e9920475a7affc047523cd5f2abd6a94df495e","datavalue":{"value":{"text":"On the practical value of different definitional translations to normal form","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4647537$80C0100D-6B90-48B1-AF48-F63A6E499BA1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"295a686dbbe8d68c04a939da29e48578bfcb2127","datavalue":{"value":"1412.68219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647537$DC0934F2-A230-48EC-8C21-195E620051C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d143315b248deb027f3e31bcc612f91b60f2a1a6","datavalue":{"value":"10.1007/3-540-61511-3_103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647537$247A833F-0901-478D-92D6-8861BBCBCC52","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d140f15ea14007eb49a1fd3fff371fc795569921","datavalue":{"value":{"entity-type":"item","numeric-id":229734,"id":"Q229734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647537$758FF441-657F-4DB0-A1F7-487ED7914984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c30e5b806ee2677bbc7467a016ded7999d0250c0","datavalue":{"value":{"entity-type":"item","numeric-id":1854383,"id":"Q1854383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647537$DDD85B74-B671-472B-A16C-F6120B14EE14","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c1c5ae1cd90ac8f2e7ae6528ac21a720bbd1fe8","datavalue":{"value":{"entity-type":"item","numeric-id":4647495,"id":"Q4647495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647537$723BA2E7-E3FF-498F-991F-9B6CADE16030","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"250f083a2ef1e7a7df79afad0acdd22e5799ecf5","datavalue":{"value":{"time":"+2019-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4647537$3D6679E6-248A-4F5B-B9DD-5940694A60C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647537$9B1542CD-720A-4A56-90DD-06F810D555C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647537$DB6E2B48-BA0B-4497-9ECF-72951B554183","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"27c0ea1f9435d044ae662dc4406b671cc83f3d2e","datavalue":{"value":"7001927","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647537$507CBCDF-DEC4-42C3-982E-80F8F58F1C39","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f5f9fa7c99fed84610c34025a6959701496fde6","datavalue":{"value":"normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647537$3F2BC8B3-9AEC-4E04-AB47-053106E2D8E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bf549142b710f01581b24fd28cbb67614316cd4","datavalue":{"value":"theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647537$87D0C0F9-00A7-4620-BAE8-685BF94A08F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647537$8F872211-75A2-4928-AD4F-70B63CD4E287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1b17f05e4289c7582cd773cdd4edb907a56b3cc","datavalue":{"value":"disjunctive normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647537$94AF2C76-A719-445B-8FCE-D950C839EA0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647537$396DB905-35C2-4CAB-A5C4-C488B441266A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647537$1E729E6F-583A-44CC-93BA-7430AA922DDB","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":"Q4647537$CB84DD90-6973-48EE-B9C9-6A616DFCF287","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"96aa0acae7bacf563b4cb021e2d05d4e3a5b8b6d","datavalue":{"value":"https://doi.org/10.1007/3-540-61511-3_103","type":"string"},"datatype":"url"},"type":"statement","id":"Q4647537$C43B95D3-6980-472B-B29F-D9FD22DE76BE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6b87863a5a660fce515463930bc52f3ae9c3335c","datavalue":{"value":"W1528868468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647537$C5FB3B87-D578-4901-8799-F572DD61CF05","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ed4e2b73edd0e2661ebb75822eda29ecb9eb63a","datavalue":{"value":{"entity-type":"item","numeric-id":3906484,"id":"Q3906484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647537$F73C2E17-61B2-4CC2-985C-C4FDBBB7750A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbb4aa8dad638334a86cbf0de6c1439e4250b0ce","datavalue":{"value":{"entity-type":"item","numeric-id":4692618,"id":"Q4692618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647537$9520586B-D0B9-4BB6-8612-B7477F2DCE82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cba92eb4cacafff08618743f97bb476fa5c762a4","datavalue":{"value":{"entity-type":"item","numeric-id":3764141,"id":"Q3764141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647537$9F07BE9E-4CA7-407E-B060-223605DC0C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb8f8db3984ee044c7597268ef468a93c3002c05","datavalue":{"value":{"entity-type":"item","numeric-id":5210771,"id":"Q5210771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647537$3C22596E-4D05-4D67-81F4-CDB7A2B99759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91b17ca5304b07e27db69bbaad41f776f31427c7","datavalue":{"value":{"entity-type":"item","numeric-id":3997615,"id":"Q3997615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647537$20BDA406-B33D-4BEF-8E41-C572287CBB27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c904ee72aed10f9210e9e7629acac3859a983c75","datavalue":{"value":{"entity-type":"item","numeric-id":674761,"id":"Q674761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647537$3A331CD4-C625-4CAC-A3B2-EE8DE70FD644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"158bb2233935470152d2dc667c5dec4b7a43c81a","datavalue":{"value":{"entity-type":"item","numeric-id":1344875,"id":"Q1344875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647537$1188FF03-8255-4EF0-AF35-014ADA43937A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e255066744fbf71b50e49e5cf205f2bfc0ec5747","datavalue":{"value":{"entity-type":"item","numeric-id":1904405,"id":"Q1904405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647537$AD91AA16-5839-4CD8-B871-561E78A58F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"008723b33cb14bbda59226503d753d137dc6f8ef","datavalue":{"value":{"entity-type":"item","numeric-id":1098330,"id":"Q1098330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647537$4CC3B2BC-1148-423D-859C-5934211127D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9808046a6f8fa62d1a453b12f211b7893e78bc6","datavalue":{"value":{"entity-type":"item","numeric-id":1199932,"id":"Q1199932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647537$971B6C1F-7D91-4B82-A0F6-20123A93041E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07441aec0715add91dbf903fea4c539fe7c16a9c","datavalue":{"value":{"entity-type":"item","numeric-id":5210777,"id":"Q5210777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647537$4287E6E0-6175-4AA4-9949-CA0FFBFF2C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a17c7bfaa14be6dec96b6ddc36c657d710183b2","datavalue":{"value":{"entity-type":"item","numeric-id":6488560,"id":"Q6488560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647537$48504A83-8E34-4403-B557-86A5F27EDCBE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0da5756a7c577b2ecc5d0379456c9475b674324","datavalue":{"value":{"entity-type":"item","numeric-id":1854384,"id":"Q1854384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"395c440312ef0bbaaf58491b39e21c4678fde182","datavalue":{"value":{"amount":"+0.9754568934440612","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":"Q4647537$20505655-FA43-43BF-8C3A-E424206E7730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a37a1bb8d639c0ead96a438818418662f037d2d","datavalue":{"value":{"entity-type":"item","numeric-id":3647255,"id":"Q3647255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cefae3dd52a11c48124da0caeb9a7ffd894b88be","datavalue":{"value":{"amount":"+0.9664068818092346","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":"Q4647537$B0EB3E61-FAE2-4218-B0E5-E279BC235E11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74f6bdea796f599bb5e96e4631f9d18633079dc9","datavalue":{"value":{"entity-type":"item","numeric-id":674761,"id":"Q674761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43a0e301fb25df21e01955ebbdf846aa92e4a8f6","datavalue":{"value":{"amount":"+0.840316653251648","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":"Q4647537$1834F328-54FE-4424-AF9E-D33653EF78CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"990e4835b2ff0f74d6d2c7fd14a4cd2b0a6f0f4e","datavalue":{"value":{"entity-type":"item","numeric-id":5900728,"id":"Q5900728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43a0e301fb25df21e01955ebbdf846aa92e4a8f6","datavalue":{"value":{"amount":"+0.840316653251648","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":"Q4647537$CF5E2941-5F74-4F73-8F51-3624F2FDC260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3096c6392b536be5b23358e138c26d43ea0e68c5","datavalue":{"value":{"entity-type":"item","numeric-id":3126165,"id":"Q3126165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea2cb0de8748f3586bb915d0c1d91918f7094aef","datavalue":{"value":{"amount":"+0.748520016670227","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":"Q4647537$8185A3D8-F723-4095-B722-C03F3737EACD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4647537","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4647537"}}}}}