{"entities":{"Q2751356":{"pageid":2762095,"ns":120,"title":"Item:Q2751356","lastrevid":47693938,"modified":"2026-01-02T11:11:22Z","type":"item","id":"Q2751356","labels":{"en":{"language":"en","value":"Normal form transformations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1664644"}},"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":"Q2751356$B3BD3FFE-3322-4909-A1B5-D2AC048C0F25","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c65f336ef2d7eb96f0dcac16d73738ec69c8a38","datavalue":{"value":"1005.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2751356$A4E6623F-2EAE-4106-BA12-05B33E509BF7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec91c84374e1970ffeb850b5b07163b4a998968b","datavalue":{"value":{"entity-type":"item","numeric-id":167059,"id":"Q167059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2751356$1AF6042E-D407-4FE7-90A5-4D444B86A74B","rank":"normal"},{"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":"Q2751356$E79534D7-B436-4051-9A4F-3B7522E83A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"53993ae6db4350dacb1d3d4f5370b18b73e58da6","datavalue":{"value":{"entity-type":"item","numeric-id":167060,"id":"Q167060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2751356$3FE3FE97-103B-41B9-8EFD-1C86C712FD7B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"370aefb578ce7bca6fa1f7031f804823865eb545","datavalue":{"value":{"time":"+2002-08-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2751356$4156CEF1-6AAA-4972-A968-D62B87A25480","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2751356$C288DEF5-C3E8-44AA-B92C-0824376567C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2751356$A204CB4F-911D-4A9C-9134-5F1E3822E615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2751356$D29715E9-E3E7-4B72-91BF-AEB7826F8B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2751356$9E1B4DF5-932C-4FD8-BFCC-CCE8C896DA34","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"875f155858dd460d8ec21cf33c54502b1b2b22bb","datavalue":{"value":"1664644","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2751356$6D80F868-73AD-453F-8560-2767E101D16F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2751356$AFD31926-5ACD-4669-9979-CA90E5A29A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"636a15aa26650cdabdd9c82189158b365d2bf53f","datavalue":{"value":"Skolem form","type":"string"},"datatype":"string"},"type":"statement","id":"Q2751356$A73B9373-ED05-4C0A-91C7-62D91E13E44F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8af76bfbe81b16541cca3b1ddbd068d9d6b8d69f","datavalue":{"value":"normal forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2751356$CCDCE719-C367-43E6-A783-2FD13C6461FC","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":"Q2751356$71DE7D5A-1C09-4AD3-AD97-65A07113DA16","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"935a79a55417818de070f5a6838029a8210083b0","datavalue":{"value":{"text":"Normal form transformations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2751356$149D36B8-4C04-4451-9E07-4D4F8A1578FA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"993b8258734c3027f002cfdebcd72d4dd6903b6b","datavalue":{"value":"This is a detailed overview about normal forms in logic and their transformations. There are various applications of normal forms, like in automated deduction, the reduction of the original inference problem to simple calculi like resolution and paramodulation, and, in general, for the appropriate application of heuristics.NEWLINENEWLINENEWLINEFor example, when working in clausal forms, the whole logical structure of the original formulae is stored in atom formulae, and terms, quantifiers and the logical operators are essentially removed. Many normal form transformations are equivalence-preserving, others, like Skolem normal form, extend the signature of the formula and are not equivalence-preserving. Rather, Skolem normal form preserves satisfiability or validity-equivalence, in the respective application. Also, normal forms in nonclassical logics are considered.NEWLINENEWLINEFor the entire collection see [Zbl 0964.00020].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2751356$DFBEFE05-CFBF-4E2E-8938-83FE4F5B17CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e38c9e3521d77786cd03b7304b55083f5c3f75b9","datavalue":{"value":{"entity-type":"item","numeric-id":4682515,"id":"Q4682515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c697369044679344da6e6be4fbe336648a3d228d","datavalue":{"value":{"amount":"+0.7164325714111328","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":"Q2751356$0918D762-62A2-4772-B85C-279C71F01FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48710d195fb9dc39d18f1bd3ba7c460b31eb6df6","datavalue":{"value":{"entity-type":"item","numeric-id":4798384,"id":"Q4798384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c35bf74e7e84a7a21acd87c4936450a8811453ed","datavalue":{"value":{"amount":"+0.7158557176589966","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":"Q2751356$F059ADBC-A707-480A-9569-F6BC1DC6BFC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11ad47bb60b31f55ed8b37035887091da0940cf5","datavalue":{"value":{"entity-type":"item","numeric-id":3184510,"id":"Q3184510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bee21b12e4f9f872f23312ff9a3d9a98094fe48f","datavalue":{"value":{"amount":"+0.7009778618812561","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":"Q2751356$E2A06452-F24D-443F-97D8-3B251D4FA57E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4716a625f8b3445a458bb970474743dbcb8792e6","datavalue":{"value":{"entity-type":"item","numeric-id":269710,"id":"Q269710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85e681e66624e10fd16adff7430a360a99ccc788","datavalue":{"value":{"amount":"+0.692545473575592","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":"Q2751356$6982831A-3DDE-4BF1-9367-EC9B0163076B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ef9dba338c524179d8b1e882e76071bd162a7ca","datavalue":{"value":{"entity-type":"item","numeric-id":4202949,"id":"Q4202949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca4ba8536e93a5b7c25d0a90642ee80c9b7f658c","datavalue":{"value":{"amount":"+0.6746499538421631","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":"Q2751356$6573DD00-C802-4FEA-8600-2ADEE48DC43A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2751356","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2751356"}}}}}