{"entities":{"Q3143835":{"pageid":3154551,"ns":120,"title":"Item:Q3143835","lastrevid":51607808,"modified":"2026-01-19T01:25:07Z","type":"item","id":"Q3143835","labels":{"en":{"language":"en","value":"Representation of logic formulas by normal forms."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6112600"}},"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":"Q3143835$2C7A9916-4B8A-43AC-8E61-61D63AC33225","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d2c1d66cecc8471440da9321e41de4b41519c7ce","datavalue":{"value":"1265.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3143835$F3AD2383-A22C-4C1D-93F5-F3B711802985","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c603dc443bfd44d92fae6e74fab4412b6bd518b","datavalue":{"value":{"entity-type":"item","numeric-id":429364,"id":"Q429364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3143835$2CC285FA-DEE9-4743-88FF-30300B67DA09","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"891255cb5cfc7b67e7ef7115dc91b547aa6e665c","datavalue":{"value":{"time":"+2012-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3143835$0FA7C7BD-9AF7-4F0E-9373-37D9D646D8B3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d8b70feaed354e9b8fe9fcc4c69793f9cc26d90d","datavalue":{"value":"http://www.kybernetika.cz/content/2002/6/717/paper.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3143835$1C9E910B-A104-43B2-90B2-935424D9C393","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3143835$6A480DEE-8646-4E96-8C05-AF3577C232D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3143835$EC629119-4DE9-4F23-99B5-3EAB5D83255B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"72eff2c0b0bb306a19e4aa7013b73f0dab6c0b95","datavalue":{"value":"6112600","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3143835$D32E2363-248F-416A-A63C-9E700C0F8344","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6efc458d4369344f3e7cc55f2ff1e22f990b5d8","datavalue":{"value":"BL-logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3143835$23B3956D-B6AA-42D4-8831-142C65AFD3A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ca77418be81cfd12ac309aeee551470efbe64c9","datavalue":{"value":"extensionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3143835$70793C8A-F4E8-4EE7-B101-52EEABC3F448","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":"Q3143835$3C939ED9-1B37-4E5A-87E4-BF36897532DA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fa80e47f8c0afcf3ba05ea2d9b3adfbbc7bab31","datavalue":{"value":{"entity-type":"item","numeric-id":1817694,"id":"Q1817694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3143835$A670B767-757D-4062-BEDA-5F167ED711A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a6acdba73f3fc17763f1e832bd0bdf625aad4d5","datavalue":{"value":{"entity-type":"item","numeric-id":4549474,"id":"Q4549474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3143835$DDBCFA31-1CE3-4748-9AC4-A02D7F3F8C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"370afee17fc57d042b2200864696b5cccc1faf7b","datavalue":{"value":{"entity-type":"item","numeric-id":3114467,"id":"Q3114467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3143835$6AD37684-8344-4DCA-9FC5-101B7F1F0C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dce8a2c52ecb17a4df59db6665a73761ae8e1af3","datavalue":{"value":{"entity-type":"item","numeric-id":2714742,"id":"Q2714742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3143835$AAF551D6-E09B-4612-B199-66416ECAD328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4971710e4358cd9ca63b9a295e880af2959f4d","datavalue":{"value":{"entity-type":"item","numeric-id":4269081,"id":"Q4269081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3143835$93D16CD2-71C8-4BA5-B862-0C3F0862E297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0211fb668d09a9b88c4a4f8697dde2a36ed2154c","datavalue":{"value":{"entity-type":"item","numeric-id":1349207,"id":"Q1349207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3143835$B1584CA6-3504-433A-BA9C-7224CA5CB886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4934bc3f6410ef6125c980c80f11c67127a5ee5","datavalue":{"value":{"entity-type":"item","numeric-id":1403131,"id":"Q1403131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3143835$D4D5A02B-D669-4F52-B76B-1129FCDCEE6D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2e98b85b5b82c2398135864b6720941232d13bd","datavalue":{"value":{"entity-type":"item","numeric-id":1403131,"id":"Q1403131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed8275bbb951f721b4b7dc0c5ea85a61ac5d61b1","datavalue":{"value":{"amount":"+0.8513821363449097","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":"Q3143835$08FCCDDD-BAA5-46C7-A7DA-BFFD916466A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbf8c5cd4950b0679bea8927c96bcb125ce07c6d","datavalue":{"value":{"entity-type":"item","numeric-id":558198,"id":"Q558198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6bbfab5a6c8555e29a7082563ab4ade5faa9892","datavalue":{"value":{"amount":"+0.8513818979263306","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":"Q3143835$CAABEEF0-FDA1-4DE3-B6A3-9F4BE84459E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d326d917a6917c3db7098bb40e889106830fcb2e","datavalue":{"value":{"entity-type":"item","numeric-id":1403103,"id":"Q1403103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4f0b6cc7d721392f0d7a34be83708ec63c00324","datavalue":{"value":{"amount":"+0.8419498205184937","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":"Q3143835$628351E9-F0F1-4189-9695-EF58D534D210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"397a0caf37500ab546e84eb2af89c9ff56d76549","datavalue":{"value":{"entity-type":"item","numeric-id":1349207,"id":"Q1349207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e47dc30121ab973de8fa41666a935a0d14c29cb","datavalue":{"value":{"amount":"+0.8125633597373962","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":"Q3143835$F5DE78AA-6713-4204-B4A9-E24567783C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49905c7d029a292a3810d153f74d54a1f62477e4","datavalue":{"value":{"entity-type":"item","numeric-id":1428677,"id":"Q1428677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3a2f29758ac8c1a832f56a3d69b0bfb43b877b3","datavalue":{"value":{"amount":"+0.8119189739227295","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":"Q3143835$F7A0C313-3720-4F28-B870-350D33A384FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3143835","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3143835"}}}}}