{"entities":{"Q1380416":{"pageid":1391156,"ns":120,"title":"Item:Q1380416","lastrevid":46960308,"modified":"2025-12-25T22:43:39Z","type":"item","id":"Q1380416","labels":{"en":{"language":"en","value":"The complexity of minimum partial truth assignments and implication in negation-free formulae"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1123691"}},"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":"Q1380416$B4DE25CB-A88C-4FFD-A193-8BCCDFAB4ED1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"98e59c3d20356eb0ca5136cbd886a6ad29edcc00","datavalue":{"value":{"text":"The complexity of minimum partial truth assignments and implication in negation-free formulae","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1380416$65903E2B-EC7C-41CC-96B9-928A2FEA87E7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af6b99ebef0355b8131ff7469f60f5b81a5fbede","datavalue":{"value":"0891.68110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380416$A48B8050-5494-40A5-A8D6-8E78235567D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"38c1bb1c049ac0b5bc087ae1d3e08410bdf25691","datavalue":{"value":"10.1007/BF02136174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380416$F997FBA1-0A7D-4C02-AD60-F06A395B4BDF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"26bf0cff9e215df3aaf30e4a09d6638e838fc0de","datavalue":{"value":{"entity-type":"item","numeric-id":294885,"id":"Q294885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380416$0255EBF6-6DD3-4DD3-86DD-4E0B2C2542FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c209c5998ce30b704f0b820fc838e999b802eef3","datavalue":{"value":{"entity-type":"item","numeric-id":285563,"id":"Q285563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380416$A709810E-2436-41DC-AECD-55FBABE5E965","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380416$3CA69DC9-C07C-4D50-B3B7-F03F5380CE11","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e0a46d7ed2be515f1109275f35494322d35fd95b","datavalue":{"value":{"time":"+1998-07-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1380416$30058EAE-5183-4970-9844-9F1047D03751","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380416$EF8C5B7F-E3E5-4EB7-A293-6CE8356E8DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380416$FE343C13-63F1-4FC4-9A34-6CED5A76A77E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf8ae0b827ace50f39c7db01e7d7c994f4cd29a3","datavalue":{"value":"1123691","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380416$B934403F-23D1-40F9-BBF1-9BE946D875C2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d721dbd66f8db840c7b1623159c532eadd1611e","datavalue":{"value":"symbolic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1380416$9CF9585F-27CC-41E7-AB2F-BAFFA1585B30","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":"Q1380416$37012224-20A4-4436-8A78-1FAE67576AC2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec09860f6f4856a0bfa1fcbed713df420a357696","datavalue":{"value":{"entity-type":"item","numeric-id":4085699,"id":"Q4085699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380416$61D16EFF-3790-423E-8396-FF0A1E639CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7258962f550bf808b8ce0edfe0f9b2099a09d076","datavalue":{"value":{"entity-type":"item","numeric-id":4230322,"id":"Q4230322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380416$DAF2C9CB-4DEA-4117-9E8B-A6474E6046F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea8f9edc5faa2fd277810a544fb03be621def82f","datavalue":{"value":{"entity-type":"item","numeric-id":3097395,"id":"Q3097395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380416$DD49B808-A73E-4F06-8CB6-7AE03249EF95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380416$461F14F8-7F4E-4F8C-9E3D-9EEAE2716103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55223ae6f91a9a3c0f6a3be0cfb6236eaf5fcb6a","datavalue":{"value":{"entity-type":"item","numeric-id":4132234,"id":"Q4132234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380416$62F43179-9AA9-4E80-B2BF-019F9642FB2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380416$E40BF374-5761-45F2-8A43-005748AB44E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cdd63cfd94110db141d7befeab2484a3068a6d0","datavalue":{"value":{"entity-type":"item","numeric-id":1147636,"id":"Q1147636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380416$A1093643-F4CC-4958-9057-02162C2675D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49716778d2052bc48c41f915a376cfa1f999ef74","datavalue":{"value":{"entity-type":"item","numeric-id":3328583,"id":"Q3328583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380416$902DF65E-DC61-4A66-8645-2E84A0F4D3CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0457dd2a82e840b759bd2d889fdc59da2ee2167","datavalue":{"value":{"entity-type":"item","numeric-id":3198885,"id":"Q3198885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380416$C41437A7-7B13-4036-97C5-4C213D75224C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"423afc99b15b62a04b1a8a934c14a449f9640ab9","datavalue":{"value":{"entity-type":"item","numeric-id":1140440,"id":"Q1140440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380416$0D4FEC1E-E725-4D46-9CD0-A886CD694204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd9ae746dfd5f5f2531b68e76fc0d6a96fc12b61","datavalue":{"value":{"entity-type":"item","numeric-id":3998470,"id":"Q3998470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380416$0FDF4A64-260C-46D8-B813-C1A8A6AC1828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b9ee0635031f226d9557d08f8e2337b442b0618","datavalue":{"value":{"entity-type":"item","numeric-id":2640590,"id":"Q2640590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380416$6B09BE1F-2E4E-47B6-B2A3-8F04338E21DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e759b8ddc389f8b42bb244f19be1adfe6bb34c7","datavalue":{"value":{"entity-type":"item","numeric-id":5402560,"id":"Q5402560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380416$1EDAF765-6088-46D4-974A-5324C87981B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b02c0213212cf1b94e5a60f245496d2285dd1ff","datavalue":{"value":{"entity-type":"item","numeric-id":1263982,"id":"Q1263982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380416$0E9EDAA4-374D-4DE1-A0D2-DB13A57BC272","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7041f1bdd37021ffa6744517b5ae14924e42552e","datavalue":{"value":"https://doi.org/10.1007/bf02136174","type":"string"},"datatype":"url"},"type":"statement","id":"Q1380416$F318AF34-E6E1-4BBA-851B-52B1DAA5C40D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1506bdc368eba5ff0c3395e90ba030deab993c12","datavalue":{"value":"W2005967372","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380416$F9C1894A-A4D9-4547-BEC1-FB80F0F3F649","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c2760208dd351718756671ead5d4fdd621cb12c","datavalue":{"value":{"entity-type":"item","numeric-id":1324497,"id":"Q1324497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9bdf72a2e4d9fcfda0ab3364a1896eda3d186d3","datavalue":{"value":{"amount":"+0.8367180228233337","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":"Q1380416$1857C632-19DB-40D7-BF49-79D80B976371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8c216e01641a6f7ea45e58d744d7ba1fd6bda1e","datavalue":{"value":{"entity-type":"item","numeric-id":1887137,"id":"Q1887137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"153a7595cfd6377deb43c70b494419ccc5581792","datavalue":{"value":{"amount":"+0.7701641321182251","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":"Q1380416$4B23744C-5BF7-419D-B7A1-72FD4EC9A48F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"035708874e3ecf0d38c360a1c1a427b72b73a2fb","datavalue":{"value":{"entity-type":"item","numeric-id":989577,"id":"Q989577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22308dcc0f12a301386d2127bc969ce4d68ed616","datavalue":{"value":{"amount":"+0.7668857574462891","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":"Q1380416$29F6EE87-AB2F-4954-8295-80F3840B9295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecdafcdb55549a9ea4bdb51f06ac368c5d42c008","datavalue":{"value":{"entity-type":"item","numeric-id":1604210,"id":"Q1604210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"932d351b9a241a2928f0e791f5f5cfce3b02698a","datavalue":{"value":{"amount":"+0.7660017609596252","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":"Q1380416$66FDFB31-4701-4348-8CF4-1A4270AD5074","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1380416","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1380416"}}}}}