{"entities":{"Q3498425":{"pageid":5528328,"ns":120,"title":"Item:Q3498425","lastrevid":50357450,"modified":"2026-01-13T21:30:47Z","type":"item","id":"Q3498425","labels":{"en":{"language":"en","value":"Theorem Proving Modulo Based on Boolean Equational Procedures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5275641"}},"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":"Q3498425$838DA024-67FF-4BE4-BEA2-63EA9B7928F4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5007b509f0d53075a158f9c7aae7cf0ea97a417e","datavalue":{"value":{"text":"Theorem Proving Modulo Based on Boolean Equational Procedures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3498425$210102F9-5530-485E-ACAF-DE6BD6583FC4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"71109f992e8d8f0e326e8d7ca36d403fc4e0542f","datavalue":{"value":"1139.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498425$9FFE5192-2AEE-4407-B710-9D209D29188C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dd8d6501ad1de4fb6287f8a57a038a47d2a94bae","datavalue":{"value":"10.1007/978-3-540-78913-0_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498425$AC2B3225-D2AB-45D9-BF2E-69F64BFACA64","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5a482cf0499359d513e033835fd455222dfc82f","datavalue":{"value":{"entity-type":"item","numeric-id":347383,"id":"Q347383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498425$5D6F087A-20C9-43C0-BF8A-2BE2D13805BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c21cc482660e99c90b1907d7d5760cbfacfe","datavalue":{"value":{"entity-type":"item","numeric-id":347381,"id":"Q347381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498425$659B83E9-F344-4729-915B-140E661EB296","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"86465ad6756de6194673fccf041df2527a42bc1b","datavalue":{"value":{"entity-type":"item","numeric-id":3498401,"id":"Q3498401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498425$6AE67D81-E3C5-488F-8FC0-63CE91F846BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe1a6b09d7dea39258164cec9c33f15b47de911e","datavalue":{"value":{"time":"+2008-05-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3498425$C10A9B01-0279-45EE-88EB-D405C60B55C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498425$69779F7C-D45B-4EDD-88EE-68BC3268E629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498425$A0ACFA9A-643B-46FB-967B-60EAE3B09325","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5639d96d0c59d109b5ef7959761462cf96701f9c","datavalue":{"value":"5275641","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498425$9F0AF00A-BDED-4F4A-80ED-1D99467C8582","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498425$4A91065E-8D1A-4FF3-8E6A-6296DC705141","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":"Q3498425$824EC368-6F75-4255-A7D9-BE365A04B476","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7cabb1093bd9a955b2896146db0e14add7d1d42a","datavalue":{"value":"https://doi.org/10.1007/978-3-540-78913-0_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q3498425$AB732D33-CC24-4EFF-ACBC-8AA634BAF690","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fb4344c68e06c37617ac4f82f11684cb887295f1","datavalue":{"value":"W1510003740","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498425$5F7BD0A7-1157-43D4-9717-6195AA4C49BE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72ce4f9299c3a2986c53414825322ca224e21b8a","datavalue":{"value":{"entity-type":"item","numeric-id":1431339,"id":"Q1431339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0789fc19f3733c9570353979e1514e2bc0db7bec","datavalue":{"value":{"amount":"+0.8053555488586426","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":"Q3498425$BBFC04CF-A3C2-4070-BB2B-9D52D08CD231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22967f8e1d8aeb6b49dc6c074f34841d779a3d48","datavalue":{"value":{"entity-type":"item","numeric-id":5307079,"id":"Q5307079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c53021d2f8043dbf0a3978409123a172c6cb9e49","datavalue":{"value":{"amount":"+0.8038653135299683","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":"Q3498425$8122EF73-5CC9-4324-BBAD-7FE021089718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"659f1715025c09fd42f29fb1a683227c1a598251","datavalue":{"value":{"entity-type":"item","numeric-id":2209546,"id":"Q2209546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6bfcc087eaf80ae6da574729b289ff732a3682a","datavalue":{"value":{"amount":"+0.7982449531555176","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":"Q3498425$9EA17036-50BF-4F00-B552-27645E22465C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b73316bc9293ca6098b85633ea043f8e1ae5b95","datavalue":{"value":{"entity-type":"item","numeric-id":5200022,"id":"Q5200022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d4fb3a7563e9269bd20e96f3a1089ebfcfdc946","datavalue":{"value":{"amount":"+0.7748622894287109","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":"Q3498425$9197F630-15D8-41E8-98DA-8958585870A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b42aabe80c7ceaee77425a0f3ae595e5d1a5c589","datavalue":{"value":{"entity-type":"item","numeric-id":3007658,"id":"Q3007658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63d1c4ca27abdf0c754c42e2691c95deed5baf02","datavalue":{"value":{"amount":"+0.7593232989311218","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":"Q3498425$7E47D2A4-8702-4702-8405-1956AF8CCA0B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3498425","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3498425"}}}}}