{"entities":{"Q3454103":{"pageid":5233503,"ns":120,"title":"Item:Q3454103","lastrevid":88240637,"modified":"2026-06-04T14:00:23Z","type":"item","id":"Q3454103","labels":{"en":{"language":"en","value":"Quantifier-free equational logic and prime implicate generation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6515515"}},"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":"Q3454103$0C19EA1A-77D8-4E28-AB46-BF60BFEAD5EC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d558d82af0a874455fa16809c35e9c12aa5c25b3","datavalue":{"value":{"text":"Quantifier-Free Equational Logic and Prime Implicate Generation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3454103$151CA112-2048-460D-B5B7-B3C17B83B6C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b7b86553cf2ec47a9695eede6284bf9be7d0cb9d","datavalue":{"value":"1465.68280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454103$80A2D5E8-5B40-485E-9436-CF0F7C783E2F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7890230eec94b0570de104e18a063ea55223c3a9","datavalue":{"value":"10.1007/978-3-319-21401-6_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454103$6C158494-BD1B-425E-AF4A-ECC32B2BB2B3","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":"Q3454103$740AA5C2-BAFB-43F1-AA91-6B2082A3592D","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":"Q3454103$C88C7E12-EFC0-4834-A236-7CCE3663F28E","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":"Q3454103$C26A1BA3-5569-43B9-9DB9-1E18059AADCF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3cc4c7edeb37e5e3024aeff0de74501df6e066e3","datavalue":{"value":{"entity-type":"item","numeric-id":3454078,"id":"Q3454078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454103$E11DE698-A3F3-4275-9A01-3569E069724A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f34c33daac76be2878f4eb0eeca7aa927e679a8","datavalue":{"value":{"time":"+2015-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3454103$5C47DEA5-4CD1-49FE-ADAF-A401B8D10D9A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454103$7C21360A-C2BD-412E-91A5-39C181395523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454103$DB15D31D-2D58-436A-A8E4-9373F735BA1D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cba578f5e8d2814aff57dd94a274404820dd54b0","datavalue":{"value":"6515515","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454103$9C0BB978-B6F2-4B8E-ADC4-DAB9404BEE91","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1017108dce3983431546a14c274f65bc4aaae70b","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454103$F19483A8-80B3-4B1E-BF09-7B52E767422E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c316f8a573aa9a8fb0377729133fd503b4a3381a","datavalue":{"value":{"entity-type":"item","numeric-id":13632,"id":"Q13632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454103$27DA80E0-2AF3-4743-A1F9-CF299FD9B079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454103$53A2F97D-161E-4028-806A-D219A6B70AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f29f161a221c0bedeec97e9d4ad10664227f4777","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454103$5CC349F0-A904-4235-9209-5FB666473202","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":"Q3454103$FE925E63-DEA6-40EA-9359-AA9B2A42EEA4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ad3ace319de42ae8037b5d524559c613528f1126","datavalue":{"value":"https://doi.org/10.1007/978-3-319-21401-6_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q3454103$2EB4AA9B-482C-4063-B226-7A9B1313B4B6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"178c7445d58e47c8006df7f132929f487641799c","datavalue":{"value":"W1417197267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454103$9667AD81-4752-49FF-B148-DB6139ADB08A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d76e46128bb0e55696f95b3bb5f826ee9e8fcdc","datavalue":{"value":{"entity-type":"item","numeric-id":5277822,"id":"Q5277822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454103$300571DB-39F3-4853-A76C-A07C52BE2FFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52b18a75aad9c9a7a5a4368c62a0e4bea68bf145","datavalue":{"value":{"entity-type":"item","numeric-id":1041591,"id":"Q1041591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454103$93D2B83D-C312-46A8-85B8-C4EECA68F5E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96ef08898f45bcf2443d0408b94cd72e3f7d8cba","datavalue":{"value":{"entity-type":"item","numeric-id":4934645,"id":"Q4934645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454103$0767C83A-1B1C-43D7-96CC-EBB4080BE069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef72c9c8f5a81deded4ea31be31b334ca1d4bb0a","datavalue":{"value":{"entity-type":"item","numeric-id":3192186,"id":"Q3192186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454103$8C7B4C15-7511-4A3B-A155-51855A112288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f25d717e5a4fd46d93e238ea6bc2542c0b945cad","datavalue":{"value":{"entity-type":"item","numeric-id":4264736,"id":"Q4264736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454103$FE478352-75A4-44C5-9463-64BD143CCC07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9f2d30ff9736e273353ee12998df77eb6b21c13","datavalue":{"value":{"entity-type":"item","numeric-id":917336,"id":"Q917336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454103$6825F61E-E399-44B6-9D89-DD0103A51C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c5b42d57069289328df43f7194cff4525ea2cc8","datavalue":{"value":{"entity-type":"item","numeric-id":689280,"id":"Q689280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454103$52BF04DB-1518-4E70-9F90-BFEBACF1D479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9c313909850504038c5311ef89e26b16ac18a03","datavalue":{"value":{"entity-type":"item","numeric-id":3648735,"id":"Q3648735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454103$573057D5-97F6-4F71-8691-847293BD955B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fccaec4c307c097d5437414653a957b62b3e691","datavalue":{"value":{"entity-type":"item","numeric-id":4291873,"id":"Q4291873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454103$8CCD7777-759C-4DFF-AC41-13B1A3789E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eec1ba63edc0847667b9f0cb492bfd420588a7dc","datavalue":{"value":{"entity-type":"item","numeric-id":3568229,"id":"Q3568229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454103$CC2B9E98-2988-4161-B34D-E2C74E80B29D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f14878b4342799995051ac9bc54cd21c98efc98","datavalue":{"value":{"entity-type":"item","numeric-id":2751359,"id":"Q2751359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454103$EF56C47D-F38D-4D37-A1E8-AE241F4C203C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f91dccb3b32bc57d3dde01bce7e911858f770bc","datavalue":{"value":{"entity-type":"item","numeric-id":1110493,"id":"Q1110493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454103$ED9CB20E-0F0D-4409-8939-1FB2E8534870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93fc8985b7898988b7d52edb5c0cd61c1b917df6","datavalue":{"value":{"entity-type":"item","numeric-id":3150301,"id":"Q3150301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454103$8E599B54-F0CA-4C11-AE9D-45F5EC0CF5F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f44b125cf3594b01960f6a5396e298346e4cfbbd","datavalue":{"value":{"entity-type":"item","numeric-id":2870167,"id":"Q2870167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454103$0F41F0AA-F798-4A40-B597-EBE4D3A68628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16c58bccac3eb8e167d77acc1c92ca853e7a5fcc","datavalue":{"value":{"entity-type":"item","numeric-id":2655326,"id":"Q2655326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454103$ED550821-E4D6-4C57-B306-26A1036E872E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d2c596f441194f665042523a84d61390b03b68f","datavalue":{"value":{"entity-type":"item","numeric-id":5540882,"id":"Q5540882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454103$9B057D96-E21B-43C3-8069-DF9F1DD88D66","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":"f7004075334ba7706a3cbdd3b892047e88bca512","datavalue":{"value":{"amount":"+0.9323099851608276","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":"Q3454103$E4B552CF-6560-4A02-9DE4-D7988A1D6B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11f00e07fecea1dca3d1e7d1167b5d8a6dc4a825","datavalue":{"value":{"entity-type":"item","numeric-id":3192186,"id":"Q3192186"},"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":"Q3454103$FA5FAB7F-3C09-49F6-8628-029C56EB69AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05146586580597ed6dcf80665496b5c7a7580368","datavalue":{"value":{"entity-type":"item","numeric-id":1799090,"id":"Q1799090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60b1508e246ef66a4025787bdd0fe93df8e6e025","datavalue":{"value":{"amount":"+0.7821384072303772","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":"Q3454103$2DD9B7E6-E6EB-4DAF-A867-4CDB7FC84663","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":"c4a61fe2dfbd4aed519fb7daa29e7f98e8998185","datavalue":{"value":{"amount":"+0.7800619006156921","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":"Q3454103$337E0C91-0C22-4FCD-A601-72BCD1BBBB7F","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":"3a378621dda890096bb819b1a0d0c6ad7b2d779f","datavalue":{"value":{"amount":"+0.7652183771133423","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":"Q3454103$A08EA788-0069-48BA-AF8E-6DFAB57715B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quantifier-free equational logic and prime implicate generation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Quantifier-free_equational_logic_and_prime_implicate_generation"}}}}}