{"entities":{"Q1144552":{"pageid":1155301,"ns":120,"title":"Item:Q1144552","lastrevid":69731034,"modified":"2026-04-13T09:00:48Z","type":"item","id":"Q1144552","labels":{"en":{"language":"en","value":"A method of finding simple disjunctive decomposition with one free variable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3693170"}},"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":"Q1144552$F22790C1-BE42-4F71-AA39-D461C2281528","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d6a0f293f8ded72fb41762d29d0d16cec7afddae","datavalue":{"value":{"text":"A method of finding simple disjunctive decomposition with one free variable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1144552$137A22FA-3AC5-453D-B8BB-EA0265D094DD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c041daf2e9a047df6ceb493c49544880220e986e","datavalue":{"value":"0443.94036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1144552$357D4CF6-429B-4FD5-B1D7-0469641045EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b62195381f135cf7340bca14ae16073774957698","datavalue":{"value":"10.1016/0045-7906(80)90037-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1144552$C4EA7EDD-256E-41C5-B919-9B1C7C7B1F8D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"140464061fb44441a33d63adec9b36582cbd93d1","datavalue":{"value":{"entity-type":"item","numeric-id":1144551,"id":"Q1144551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1144552$4BB3B924-9E76-4811-A95D-5D7917308417","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d0c7aad96454ebf15855bff247eced4d8759b694","datavalue":{"value":{"entity-type":"item","numeric-id":209796,"id":"Q209796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1144552$F5850369-3BF3-4859-A8DD-020AB083654B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q1144552$DBD05C54-C531-40B7-9A06-703744115D7C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a252ac0e16e7cd1b816dd4d8c55ab05955b53869","datavalue":{"value":"94C11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1144552$E592F2C7-AAD9-4BBF-AEE1-D5831620CCD1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"237cb8099e9e13ac7985d80ef7c875de65f4354d","datavalue":{"value":"3693170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1144552$C82CC358-F404-4088-8157-5998E4911F59","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"debf207a19fbcfb26c063dac1f1bec29186502fd","datavalue":{"value":"simple disjunctive decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1144552$5BB3CE9E-E94C-4054-9A90-104920020438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0062bff246f10874c360cb4d691bf5c2195f236c","datavalue":{"value":"Boolean function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1144552$800C4139-FC29-4D4B-AB61-DBBC1415F5F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91bc8c5bbba976a2d4a04cff9c97ee9567968b27","datavalue":{"value":"prime implicants","type":"string"},"datatype":"string"},"type":"statement","id":"Q1144552$AE16FEC2-DDB7-4544-B319-3EFE040E11DF","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":"Q1144552$54FE66CB-DDE0-4BFB-8FF0-F0BD5D36B372","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be460f79d168efd1c3652167ec505c9490c625e6","datavalue":{"value":"https://doi.org/10.1016/0045-7906(80)90037-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1144552$F0506E06-C858-45DD-A90D-6331A8490352","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"889be1f904755ec14f31817108e98275a4ed32e7","datavalue":{"value":"W2085653251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1144552$E7489711-2878-4B32-9F3F-21F3142E4E9C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79fab0f91b87366ec2f967dface4ac9e036f1ef2","datavalue":{"value":{"entity-type":"item","numeric-id":5705682,"id":"Q5705682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28d4f05d6f6ea0cfcd1b7d5a192c40d380dfdc10","datavalue":{"value":{"amount":"+0.7873416543006897","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":"Q1144552$8DD7E233-562A-483F-8AB9-3952D94E917B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6d7ea6ebf0ee09b0cb44651b8820e74d12e961a","datavalue":{"value":{"entity-type":"item","numeric-id":1150351,"id":"Q1150351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64c03b65b28907c2d264a2493e8bec02adbb622b","datavalue":{"value":{"amount":"+0.7577012181282043","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":"Q1144552$C19A46B1-A531-4B4D-ADF8-B67DD2F9022A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7240f336b3c12491b0c587036a08cd12dfd5398","datavalue":{"value":{"entity-type":"item","numeric-id":1057236,"id":"Q1057236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6b49fda618cfa20a774acf576dc797a7545481e","datavalue":{"value":{"amount":"+0.7439102530479431","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":"Q1144552$6FCC4E9F-BFB6-4AA3-B651-D3B932D53215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ce2491b58e602701347b5201eb196e8f817ecdc","datavalue":{"value":{"entity-type":"item","numeric-id":5284041,"id":"Q5284041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3775e73a8356986d21a6e4b10de51149d84845f","datavalue":{"value":{"amount":"+0.7419240474700928","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":"Q1144552$9991BF5E-9002-4F1A-A0B1-3C138CC5D137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ea7aca18b47dacf11ab070f9780d7f0378a6282","datavalue":{"value":{"entity-type":"item","numeric-id":5150724,"id":"Q5150724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c015836c661d8f957826bfc00b22cbd7c973eab2","datavalue":{"value":{"amount":"+0.731252908706665","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":"Q1144552$4B20F910-4D9A-4D04-9A0C-1E3C65BD1129","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A method of finding simple disjunctive decomposition with one free variable","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_method_of_finding_simple_disjunctive_decomposition_with_one_free_variable"}}}}}