{"entities":{"Q3192186":{"pageid":3202894,"ns":120,"title":"Item:Q3192186","lastrevid":52096616,"modified":"2026-01-20T22:35:05Z","type":"item","id":"Q3192186","labels":{"en":{"language":"en","value":"A rewriting strategy to generate prime implicates in equational logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6348232"}},"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":"Q3192186$C47DB4A3-AC02-45F5-A183-F416BD3402C1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b6ac49903dda74cf17890d9efb358e8cb345b8e8","datavalue":{"value":{"text":"A Rewriting Strategy to Generate Prime Implicates in Equational Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3192186$91B4A2A8-E625-4666-9E59-571515293A1A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f8812ebc86e13cbfcabf5339124ad27e9ae658ea","datavalue":{"value":"1423.68412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192186$3B7BAA69-C605-4424-8A5B-B6B27C5DBB2D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0a306b109e2fdcb4065d57ce9cb0d3d4f0d9ec95","datavalue":{"value":"10.1007/978-3-319-08587-6_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192186$674BA5CC-6CAD-4130-8CE4-704686EF70AD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da9d0bb1bba7f8d78f26f8b0456c3cbe905220ef","datavalue":{"value":{"entity-type":"item","numeric-id":438577,"id":"Q438577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192186$13C68463-95B1-470C-9949-F15CFCCBF806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbb66b347a8501d3e88bb4fc6db185a6021261a5","datavalue":{"value":{"entity-type":"item","numeric-id":167063,"id":"Q167063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192186$D1A1E17B-08C6-4DF2-A29F-A1DF205829F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca512d58059d63156835648800422b2988de4fc6","datavalue":{"value":{"entity-type":"item","numeric-id":2051562,"id":"Q2051562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192186$87B14B7E-3D33-44D7-A3E7-BF1B982BB28A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192186$6F308643-E5A5-4F59-9380-7790C830B400","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a6fb9003a97bbc70eb568e233ee4457edf484fd","datavalue":{"value":{"time":"+2014-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3192186$83E00E51-8D66-4D99-ABBA-B74E05B378D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192186$AB9A9AEE-FF49-4EA7-8DC7-E50E8A4EC0D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192186$191BB80F-FDEA-4F94-B8BD-29347C292FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192186$CAE2C606-B350-4FCE-84CD-9EFC750C25E6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4061fb46ad21860c45db123adee878a0d836ca91","datavalue":{"value":"6348232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192186$65070FBA-83ED-4AE9-BF05-583F5DA651BE","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":"Q3192186$4E480D7A-188E-4D4D-91BF-027E500E7F64","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6c51d1f8f39a457069e54dac8874752da874e394","datavalue":{"value":"https://doi.org/10.1007/978-3-319-08587-6_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q3192186$E768445D-181D-4004-882E-4DE7F1FFB785","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b81759e52749503ed58908af346260baeb1ac089","datavalue":{"value":"W52563601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192186$05EE1C75-3838-4773-90BE-8045E0659FDE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3a0eec6c4aec493cf9623d3338d5c33a0f2e081","datavalue":{"value":{"entity-type":"item","numeric-id":4600725,"id":"Q4600725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8d358391603f5cb12c75186bebe6a237f86b04f","datavalue":{"value":{"amount":"+0.9005714058876038","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":"Q3192186$45A4DFD4-EE4B-4C36-AAF7-34723D978C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72a9136ca9628a21992d5737f5382ec8d96c46be","datavalue":{"value":{"entity-type":"item","numeric-id":3454103,"id":"Q3454103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02f3d38a2b900458d9ee3b552bd16b4a9298e320","datavalue":{"value":{"amount":"+0.8712857961654663","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":"Q3192186$9D1F8928-E292-4A02-8EEF-B0D69A0495C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00627a547c1cdf646339f39d33fb7e3913e9dbff","datavalue":{"value":{"entity-type":"item","numeric-id":1283201,"id":"Q1283201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41152d1b1805f74db7463c72d29ac249f65b59e7","datavalue":{"value":{"amount":"+0.7530158162117004","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":"Q3192186$E9777291-08F6-41AA-8B57-8911D0EDBE4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"310a2ec21230e2aac5f57d387db124a2bdebc45a","datavalue":{"value":{"entity-type":"item","numeric-id":3133151,"id":"Q3133151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6450133bc59be7a382bea7f9a461673b93b719c1","datavalue":{"value":{"amount":"+0.744536280632019","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":"Q3192186$FB45BDAB-916B-4B8F-9DE3-EFD6B666DE84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c7be220fcdbbcba624f28ef54fe592d6840c88e","datavalue":{"value":{"entity-type":"item","numeric-id":4934645,"id":"Q4934645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b140ce86aea03163fee5ee1fa920326237d1bf0","datavalue":{"value":{"amount":"+0.7415801286697388","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":"Q3192186$93BB3F9F-7003-4C4C-83A3-1B7C6E74C64B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3192186","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3192186"}}}}}