{"entities":{"Q2999326":{"pageid":3010050,"ns":120,"title":"Item:Q2999326","lastrevid":51242747,"modified":"2026-01-17T10:12:58Z","type":"item","id":"Q2999326","labels":{"en":{"language":"en","value":"Automating refinement of Circus programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5887531"}},"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":"Q2999326$57C04519-1C9F-4522-8601-EB3F1249080C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"98f23b50cc5e6087323e8fee31f8008c47d1f14a","datavalue":{"value":{"text":"Automating Refinement of Circus Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2999326$AEEC4845-9809-4872-8BF4-5A6B0736C469","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e7fb9d24b760613dfc65ef87019326fd541d6479","datavalue":{"value":"1325.68163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999326$3C1CE0B9-1121-4413-A9E9-D3492DDDBC4D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"387da88823c7f42aa52e0f579e8381abfa1c98ab","datavalue":{"value":"10.1007/978-3-642-19829-8_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999326$DC9E3345-2674-4E85-8199-62668CB94C80","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4d150d5bf876b5a829b43934d70c20b18c58f39","datavalue":{"value":{"entity-type":"item","numeric-id":432149,"id":"Q432149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999326$7B7A2266-4D24-447F-BB4A-739AD788F610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f27d31a7277a70c7762a067d64f6707ee9b1ea6","datavalue":{"value":{"entity-type":"item","numeric-id":315300,"id":"Q315300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999326$FC825F91-F10A-4872-BC3A-95BB1C0FF74F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999326$F0C3CC5F-DC1C-45DB-9DCA-CCC13AC41C70","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f158f41192295853b61fc4556e992b30521ff06f","datavalue":{"value":{"time":"+2011-05-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2999326$662764F3-63CC-4901-9DDE-260EB1AA8465","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999326$E34F2276-863D-448D-8F1A-B5A8833CE35D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999326$97FBED58-3E9D-447E-9139-D5AC759E29A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d38594d12799396aabc3889c8f6dd5276d67a47","datavalue":{"value":"5887531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999326$F71CBE41-DAF7-4240-8243-8DACC0743E53","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2999326$E086AEBF-D3D9-47C3-8FE1-A3176F079B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c80ecf21428f980362763aa3ec34b156b15c6fc","datavalue":{"value":"tactics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2999326$2B32BDEC-542E-4593-B49B-9979ABF7F21D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c0dd27039e5b3d9dbffe18ea036998723e92f14","datavalue":{"value":"ArcAngel C","type":"string"},"datatype":"string"},"type":"statement","id":"Q2999326$A0D50C05-2689-4A88-AC5E-0D27BA62675B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"697c663b79694ca3c28bc3aa5b952afa3ee7707d","datavalue":{"value":"ProofPower","type":"string"},"datatype":"string"},"type":"statement","id":"Q2999326$F1FB52B2-5C62-40A1-BD11-F276985D842A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dc27975e97e4cd38daedfdbb9f73615febe95f84","datavalue":{"value":{"entity-type":"item","numeric-id":18466,"id":"Q18466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999326$33D4F69A-6C64-4ED4-836E-78BF0688DF86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8b2040a476017b43b21bd352cfec0a67d631d6d4","datavalue":{"value":{"entity-type":"item","numeric-id":18467,"id":"Q18467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999326$99BB6935-A80D-45CF-BA05-051A236CCC51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9189048b3936abda7e80b02cf829681849623735","datavalue":{"value":{"entity-type":"item","numeric-id":33628,"id":"Q33628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999326$D523F6E3-71E6-4CF9-A216-0EBCD73B9EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"90bfdd1a1f860255fb4bb8fdc7c84fcb47630c66","datavalue":{"value":{"entity-type":"item","numeric-id":14460,"id":"Q14460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999326$006B3CD4-D1C4-4C62-B987-A5A959A3552B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"56183f18c1b7292025f517695163436751950f86","datavalue":{"value":{"entity-type":"item","numeric-id":22253,"id":"Q22253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999326$97A5EC38-9ADA-438D-A0C1-DF836B734C77","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":"Q2999326$25A19682-A09A-4682-B285-20BACBCF314D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"69c9ac2cdf84c4fc8fc2080986b56cd2776da9bf","datavalue":{"value":"https://doi.org/10.1007/978-3-642-19829-8_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q2999326$4A773846-DA19-4145-8796-3B6E8EEDF9BC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"180900b73ab188f7b4620b6e41fd57d9b38be251","datavalue":{"value":"W153095480","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999326$DEA479E4-C23B-4598-BA1F-84ABDC320861","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c1e3c2690a3f0a386acc08c1135f5caa93ddbbe","datavalue":{"value":{"entity-type":"item","numeric-id":3055742,"id":"Q3055742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999326$624C3131-46DC-4809-8B28-1A57514B2357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2afea125cc066f2c6ea296b8495ce1912d0031da","datavalue":{"value":{"entity-type":"item","numeric-id":5716880,"id":"Q5716880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999326$C7FECF2C-4BF8-4A6E-B658-6D96E3BC5599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2179d8546d5ce60e354479db662e7bc4b3f5aef8","datavalue":{"value":{"entity-type":"item","numeric-id":706512,"id":"Q706512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999326$A14E7706-76E6-4574-8B06-4E178EA0ED3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c621fa8227c39a838853eddce9768e0dfe2aedfd","datavalue":{"value":{"entity-type":"item","numeric-id":1815345,"id":"Q1815345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999326$A73BF651-F829-4ECB-ACC5-86332DF6CBE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45e8c273be77bf6b1b19fb6e1124adc2445e066e","datavalue":{"value":{"entity-type":"item","numeric-id":706504,"id":"Q706504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999326$5080321C-D9EE-42E8-B900-6AECF81B94CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ffdc42ca9037c4fbdb50510ffd7e4d85650f9aa","datavalue":{"value":{"entity-type":"item","numeric-id":541214,"id":"Q541214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999326$7CABD39A-CAB0-4F5D-8408-B9D3623AF30E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2912cb6352cc0030422f8213b242952537b92aa","datavalue":{"value":{"entity-type":"item","numeric-id":436368,"id":"Q436368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999326$FC39BE9E-877C-46E0-AAB7-59AFDDE78BBC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ed37ac69fe647fd59558e80e317d7f099713676","datavalue":{"value":{"entity-type":"item","numeric-id":3585033,"id":"Q3585033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4633c07c9ba070babb4a370a878374fd62d31a05","datavalue":{"value":{"amount":"+0.8409897089004517","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":"Q2999326$825B7D3E-AF59-42CD-ADE6-CC002CDC6541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd1660bf3cc89c47a306b57005cb6d82a131c223","datavalue":{"value":{"entity-type":"item","numeric-id":706512,"id":"Q706512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef69777f77cc8d2f7b38674c1160d2bc993fe646","datavalue":{"value":{"amount":"+0.8018006682395935","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":"Q2999326$4A36235D-9FDD-4C45-BD75-2933AB30D02F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ea8f6b78529fe428b5595d93b2fe768537ec811","datavalue":{"value":{"entity-type":"item","numeric-id":541214,"id":"Q541214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b579c0e2157ad4e15621875935a03abd81484168","datavalue":{"value":{"amount":"+0.7902289032936096","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":"Q2999326$70EC0CD9-ECD1-491D-951C-87A0867F10D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00a750499399fb23693a151d13210daf45e5912f","datavalue":{"value":{"entity-type":"item","numeric-id":766162,"id":"Q766162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39a46f50f93834674f4a93679d0953d5995eb5a0","datavalue":{"value":{"amount":"+0.7860916256904602","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":"Q2999326$29BFBF17-9647-4DD9-99C4-58BDABD75C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fb99281b36575d8c99759595cbc588e24bca74f","datavalue":{"value":{"entity-type":"item","numeric-id":4808845,"id":"Q4808845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"511ed2c3dc5ee19ae2cbd8aba3ec6e6a81c05323","datavalue":{"value":{"amount":"+0.7566341757774353","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":"Q2999326$3DEF8B24-7D5A-448B-A007-EF8BE33058F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2999326","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2999326"}}}}}