{"entities":{"Q3066107":{"pageid":3076823,"ns":120,"title":"Item:Q3066107","lastrevid":79961909,"modified":"2026-05-06T15:07:07Z","type":"item","id":"Q3066107","labels":{"en":{"language":"en","value":"Semiring-induced propositional logic: definition and basic algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5834047"}},"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":"Q3066107$775A2A1A-119E-40CD-B732-E6918E1CCEBA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab38a3209110ef53c275089f58c035e6b196967a","datavalue":{"value":{"text":"Semiring-Induced Propositional Logic: Definition and Basic Algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3066107$EF77D452-D9C5-437C-9B74-F7A18909C9D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ceddaa22a38b3875a95707ce46be4b4315309f6d","datavalue":{"value":"1284.03209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066107$C3574820-F98D-4ED1-8592-3D12F6B20395","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"59a396445e4e0ab640a77607cf460bf8ebfccfba","datavalue":{"value":"10.1007/978-3-642-17511-4_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066107$423A21C6-CFC4-4EAE-9FD7-F6F4D259F026","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e0fa9e77ae9ac54f182e764320d4341fa38a63ee","datavalue":{"value":{"entity-type":"item","numeric-id":814625,"id":"Q814625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066107$DF51E65B-5F25-479B-8F1A-C424E51ADB71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfd1da8b09a3144b32ef026d1d9b2bca68560b37","datavalue":{"value":{"entity-type":"item","numeric-id":438574,"id":"Q438574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066107$C7826553-D9D8-4B4B-8FE6-A703D312D3BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1c6f3313098f94ac950042b92865f2f95306b33","datavalue":{"value":{"entity-type":"item","numeric-id":438575,"id":"Q438575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066107$7E42792E-6805-4D05-A324-1047CA847515","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066107$327DFD1D-3D98-4422-ADA4-840EEE86F92E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"156b753d324324fc03cf856ff2e3142887c3187a","datavalue":{"value":{"time":"+2011-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3066107$519E6E09-04D0-4E40-B638-31B0AAAD0A25","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066107$7C81F889-BFAC-4C4C-ADB6-75EA0988AAB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066107$034631F8-BCFA-41CF-86E8-0DF4C08E5913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066107$A523FB0E-68FA-4706-A8CF-F640502EAA67","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"83a7978811804eacb17f1e4ef7bf390db5fe3ed5","datavalue":{"value":"5834047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066107$9A52B334-75E4-4416-ACB7-AADB2611D66E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"007c72a86e8563e4101dd6986b20d2e71c9117fd","datavalue":{"value":"semiring","type":"string"},"datatype":"string"},"type":"statement","id":"Q3066107$11D0F4F8-537A-4006-AADB-17DCE123A2C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b4e16a43c9cfab3014c8a91e6ee42ce2392b942","datavalue":{"value":"marginalization problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3066107$0D9342DF-F1A2-4387-8D24-DAB1E60DD606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f7ac674268224c9b1b4b60f07b959745a70f08d","datavalue":{"value":"DPLL","type":"string"},"datatype":"string"},"type":"statement","id":"Q3066107$3354947C-791E-48AF-B2CC-1DD28252C011","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"46bcd62f451878e06535242e19e6d27106dd0716","datavalue":{"value":{"entity-type":"item","numeric-id":21711,"id":"Q21711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066107$AB7280D4-6937-4C56-BE4A-0A077B0A701A","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":"Q3066107$A385BF22-C544-4AA6-A7A8-4109EEA81518","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c639449acdba1bb359c1db108d69a580105614a6","datavalue":{"value":"https://doi.org/10.1007/978-3-642-17511-4_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q3066107$4B0D9FAA-4DA5-4443-92D9-DFCFE573F3CF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6a019637452ad34b84668fca07f89ba024ff5eed","datavalue":{"value":"W143036387","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066107$8038E815-7ECB-492B-82A3-1F7B35B65565","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1bad1ee33b1cad16cab2f1d40eb33e6552df065","datavalue":{"value":{"entity-type":"item","numeric-id":4377273,"id":"Q4377273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12005396cf7e45d180e4baab250c0e4d85d2dfe1","datavalue":{"value":{"amount":"+0.7604129314422607","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":"Q3066107$25758600-36BB-4F3F-955C-BD1847E7A26D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7385fe6d7cf1e95d81c9779e41148f51b625018a","datavalue":{"value":{"entity-type":"item","numeric-id":2389619,"id":"Q2389619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f10f245a31927f1d451250cc89faf005ddd9643","datavalue":{"value":{"amount":"+0.7547721862792969","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":"Q3066107$F6AFB9BF-6169-4BAB-8839-6F675B8D7DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b74ec90ac1fad2a2e7406fb387e3ddc1a2d8899","datavalue":{"value":{"entity-type":"item","numeric-id":2228353,"id":"Q2228353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"214c5022de432a7625d437ab5ad724d6c97a9e60","datavalue":{"value":{"amount":"+0.7313634753227234","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":"Q3066107$AC73D7C8-6AFB-4901-A6F0-80A1B4DF74CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a186395ca436aadf6c37d9fc5a83e7c70d856724","datavalue":{"value":{"entity-type":"item","numeric-id":2999123,"id":"Q2999123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41649f9bd6f73e32342eb367bff8d65160378629","datavalue":{"value":{"amount":"+0.7303407192230225","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":"Q3066107$A49B6AA8-8B1E-4FA9-BF6F-96BC1A1AEB5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f7d19275483cbf66b50d61246fd799dbf226df6","datavalue":{"value":{"entity-type":"item","numeric-id":3502709,"id":"Q3502709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"811640bceea85bd97e632a9365f31f6f92901f6f","datavalue":{"value":{"amount":"+0.7254247665405273","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":"Q3066107$2CB2B240-05BB-4040-AF1B-FDA7EB114814","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Semiring-induced propositional logic: definition and basic algorithms","badges":[]}}}}}