{"entities":{"Q4827596":{"pageid":6857176,"ns":120,"title":"Item:Q4827596","lastrevid":48377272,"modified":"2026-01-04T13:13:29Z","type":"item","id":"Q4827596","labels":{"en":{"language":"en","value":"Programming Combinations of Deduction and BDD-based Symbolic Calculation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2116736"}},"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":"Q4827596$2797742E-7B7C-4480-97CA-DCB06C60975C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a7da277cced941167f150ed9bc134eac10cb4929","datavalue":{"value":{"text":"Programming Combinations of Deduction and BDD-based Symbolic Calculation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4827596$8E156388-9D5E-4DC5-995B-CABAF2A4EA3A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2cfe541e8dbae73f2f7afab8bf31fc62abba9176","datavalue":{"value":"1068.68682","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4827596$9B08CD60-1D49-4592-AFBD-F1199092636A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"893e5155cb328831ddeedf55e3714e373c59a6c8","datavalue":{"value":"10.1112/S1461157000000693","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4827596$2692DC44-9648-4B57-AC48-58502CC073D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"931e30a40c8472ba029c509504f463b9cccdfd3d","datavalue":{"value":{"entity-type":"item","numeric-id":436371,"id":"Q436371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4827596$7FAA4028-5D38-454B-AE62-E4779F985605","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"997f8e81aafe849f90a25017f3ed07a2b1feb16c","datavalue":{"value":{"entity-type":"item","numeric-id":2709391,"id":"Q2709391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4827596$C289CC18-979D-4EDE-9D34-15D2B241CE8D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"037fcf95f864ae0e38f5b6894c4f594ea5ca568c","datavalue":{"value":{"time":"+2004-11-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4827596$B65F3B2E-D19F-47D8-819F-A5F43EF5090F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3148b85f5f1d09298f058581850b09549332e4f1","datavalue":{"value":"http://www.lms.ac.uk/jcm/5/lms2000-001/","type":"string"},"datatype":"url"},"type":"statement","id":"Q4827596$20CF4FF8-4A52-44D8-B5DF-A28B625BE8C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4827596$5E9CE438-9224-472A-8DAC-8F0D9280A68E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4827596$F1A493F7-9EDE-41F0-8C51-B290DE2B28B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4827596$BFBC25C3-8E2D-4CD7-A61A-8BBA0669761C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34ac4717ddc178f1ca552f9c1343bcb6c8f0f077","datavalue":{"value":"2116736","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4827596$AEEBD913-E3B7-4FFA-9FCE-3F013EADF4B3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"25db55153babd7076d594d911b639e78d62b451a","datavalue":{"value":{"entity-type":"item","numeric-id":20369,"id":"Q20369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4827596$0730425E-2F2A-413C-B29B-42E3CFD1342C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4827596$DC09E11E-6ADB-47A0-B1B8-84DEE67F383E","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":"Q4827596$7205386C-C6AF-4F32-B1FC-23399497AFF6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4827596$20E3FC3D-7DED-440A-84BF-4F41288312E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe3b950411ee1e7918837695edeb889a33306058","datavalue":{"value":{"entity-type":"item","numeric-id":5452599,"id":"Q5452599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4827596$63297D1B-21AC-46F8-956E-7DF56A8C23E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bbd13b4a80bc3f67fc4924718adcf41a96c58b9","datavalue":{"value":{"entity-type":"item","numeric-id":2754043,"id":"Q2754043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7fa2e26349286428651a4ee2dc3d8c8e24de807","datavalue":{"value":{"amount":"+0.7771351337432861","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":"Q4827596$76F3DF0C-7AA6-4662-A0E6-6616902783C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b150fa6e2849a0ef1c68604407736315acb87e2","datavalue":{"value":{"entity-type":"item","numeric-id":3559766,"id":"Q3559766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1abf702899bf4357273d084c9d62cf7996e24150","datavalue":{"value":{"amount":"+0.7555121183395386","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":"Q4827596$81805154-691D-43A9-A745-89CA1069CE01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87b6ac01518a02a5afd884695660984f387da000","datavalue":{"value":{"entity-type":"item","numeric-id":2766536,"id":"Q2766536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c95e4cf9f41d5b41b23f93347c023c3c283922a1","datavalue":{"value":{"amount":"+0.7508644461631775","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":"Q4827596$1F0695D3-1FCB-44AC-AC5D-E5B87B9FA746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24be2610ba2609058f624d46a50adcac6f74e951","datavalue":{"value":{"entity-type":"item","numeric-id":4868260,"id":"Q4868260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10c3044589b9e0fa8d4590b6c2c05e7f44ae673b","datavalue":{"value":{"amount":"+0.7499807476997375","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":"Q4827596$87576BC5-8551-4811-8744-91DDBEFA77AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86572fb6fb3c840ab9b63220bf0ccf1b10386756","datavalue":{"value":{"entity-type":"item","numeric-id":3434726,"id":"Q3434726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10c3044589b9e0fa8d4590b6c2c05e7f44ae673b","datavalue":{"value":{"amount":"+0.7499807476997375","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":"Q4827596$443A203D-5166-47F3-A3CF-38F323D78C2D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4827596","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4827596"}}}}}