{"entities":{"Q5309032":{"pageid":7338606,"ns":120,"title":"Item:Q5309032","lastrevid":50178773,"modified":"2026-01-13T09:58:06Z","type":"item","id":"Q5309032","labels":{"en":{"language":"en","value":"An abstract decision procedure for a theory of inductive data types."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5198531"}},"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":"Q5309032$8811B675-C754-4705-8F7A-62EFD390C781","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"748b2662e4219e6d07e06eee772d273e2a32625d","datavalue":{"value":"1129.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5309032$17AD12F2-ED18-410A-8423-1AD1C50DDF98","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad77f9f95b13763d1bf3e18f3ef5b6900b795f74","datavalue":{"value":{"entity-type":"item","numeric-id":518400,"id":"Q518400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5309032$19657B9E-A954-4394-8FD5-E72D0CC92355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"019cee295f168ae5eb9f2e97c6cf6edbb02778e1","datavalue":{"value":{"entity-type":"item","numeric-id":2848052,"id":"Q2848052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5309032$3CF710B4-ACCB-4C13-B859-7644D1DA9830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"947e5398223830d4c80e75386dbd3c8e6dd67f1d","datavalue":{"value":{"entity-type":"item","numeric-id":429585,"id":"Q429585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5309032$CA1DB144-60C6-43CB-AC85-A1B00684FFD2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1c6d1eb5a1881a1c15c479f8c9d6be5d5505633","datavalue":{"value":{"time":"+2007-10-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5309032$344313B3-C098-45B3-A3EA-E82E5F2B0219","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5309032$050F29D2-3169-42C6-84E6-519691A75BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5309032$3FCFF4FB-5B9D-4FA6-AB50-0E50A09E0697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5309032$E9E28374-F294-4176-B023-8F34F4CB379A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6296d65e80418f656c13c445613ca77115d3a84d","datavalue":{"value":"5198531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5309032$3F95C959-8D6A-44BC-96AB-3689543F3694","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f088e9007bf00b56b44d080702a4ed8bf45f2049","datavalue":{"value":"inductive data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5309032$23C764B0-A6DB-45B4-BAF9-E717DE5C4738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5309032$C65D918E-73E3-41CD-92BF-40DE69E8C7C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7102eb4b168b2e4c7843b96c7dfd3079fb5d3583","datavalue":{"value":"term algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5309032$60781803-CC29-4D64-8C49-1C7207A44D8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1254a7c01d2970b87da2854c1fde40c268a1f55d","datavalue":{"value":"satisfiability modulo theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5309032$E7F7D287-313D-4743-9430-5FE06900FBC9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6d1b503d7c8f19634e207574177819c306621855","datavalue":{"value":{"entity-type":"item","numeric-id":17038,"id":"Q17038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5309032$9403CB25-0899-4691-AE2E-C738A2D9EFC8","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":"Q5309032$F9AC81FC-1CCC-434C-9D4D-B0993C24D007","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b1d2b397c336682f373caa1b64e97ca5bf8dc28","datavalue":{"value":{"entity-type":"item","numeric-id":2864522,"id":"Q2864522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e65ab44f70d2048ff0f6771e96f48ca3749252a","datavalue":{"value":{"amount":"+0.870207667350769","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":"Q5309032$52F09CE2-A906-4DA4-8171-52DB4BBB42AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f951d8f9e4dca86608cf14ef2ff8c919896ab86a","datavalue":{"value":{"entity-type":"item","numeric-id":5255074,"id":"Q5255074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"029f92f80c3fd788ffb63e38e5f155a12b9d5e3c","datavalue":{"value":{"amount":"+0.8042014837265015","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":"Q5309032$4CFCC2F8-C2C6-4F39-8B11-7A2447444B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4acd3fa3f3bdc0687f761d59bb22ea5724db5aa","datavalue":{"value":{"entity-type":"item","numeric-id":5387883,"id":"Q5387883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b96c33911abf505fb0138a1a58bb63db28f02e43","datavalue":{"value":{"amount":"+0.742287278175354","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":"Q5309032$F3C87388-CB4C-4D75-A51B-F2F8F17AE0AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0024e50d695c8494ad351d6735f89361ca5cb8aa","datavalue":{"value":{"entity-type":"item","numeric-id":3656874,"id":"Q3656874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa5129251105c58c402aa17832e977a272c8a19f","datavalue":{"value":{"amount":"+0.7332499027252197","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":"Q5309032$D5A3FB71-7F1B-41FA-AC43-2892F5FA91CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c23463ce18af4c444365a390b715c4475749158","datavalue":{"value":{"entity-type":"item","numeric-id":2723430,"id":"Q2723430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"780059c3b22a8b45a53464edb5da76f13040b730","datavalue":{"value":{"amount":"+0.7250263690948486","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":"Q5309032$28712B76-B076-44D0-8BDB-90E24961C2B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5309032","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5309032"}}}}}