{"entities":{"Q4236062":{"pageid":6265663,"ns":120,"title":"Item:Q4236062","lastrevid":89196008,"modified":"2026-06-04T16:36:54Z","type":"item","id":"Q4236062","labels":{"en":{"language":"en","value":"A Shell for Generic Interactive Proof Search"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1268513"}},"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":"Q4236062$9C00B793-AA27-49F4-90D9-36011FE43233","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d4d40b0e3603ba9ac78b970775f696b7e71c7a2a","datavalue":{"value":{"text":"A Shell for Generic Interactive Proof Search","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4236062$B93C5C7A-7DB6-4F78-A640-91F0D290CCEA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"047e33fe46dede7c91cee00bf547903fb68dd77d","datavalue":{"value":"0955.03503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236062$F74A8569-A3BD-4788-BEC5-A252772F071A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"38ec315c068f90c8b5f5838fe949435bc208f619","datavalue":{"value":"10.1080/11663081.1998.10510935","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236062$E6B015E7-EC43-4061-BA1E-FE9FA5D45230","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba4eb44b87d95083f2a1e7af413c71eb9b02cae8","datavalue":{"value":{"entity-type":"item","numeric-id":4236060,"id":"Q4236060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236062$F15B4CBD-F15D-495A-9372-FDFF34DE6954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb33a245c679d76b6d0fe11b2b64c3f034ae8a08","datavalue":{"value":{"entity-type":"item","numeric-id":4236061,"id":"Q4236061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236062$ECE1F583-6F14-44C0-BC73-0E133C8756DC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236062$08EB43FC-0962-4AEE-8B48-D8A4F0E30489","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b338ad20be1e88542706ccb4feb05f849a5b0feb","datavalue":{"value":{"time":"+2001-03-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4236062$C7C5DD9A-AE91-41AA-99CC-3002716C56C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236062$81D258CE-9379-41E0-B5A9-102FF33B9513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236062$180849FD-B65B-4FE3-A937-8E93BBDA4DEC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"84766fdd9383745efcc92c08636de88fb6aaf96c","datavalue":{"value":"1268513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236062$8E13D67D-5987-461A-A39F-1409E2D83908","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d76081471dd644a398d55bd6a5c308c0f0d40f80","datavalue":{"value":{"entity-type":"item","numeric-id":33967,"id":"Q33967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236062$98B5131E-924D-4B35-92C8-C5D57886E651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236062$87F74900-3654-453F-A28D-352C3676ED8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236062$31BC5BAD-6EDB-4B8C-B5EA-31EDB5412EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5269c33633e001c04b6b18ef109373955c9b500a","datavalue":{"value":{"entity-type":"item","numeric-id":38052,"id":"Q38052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236062$A8B70B36-DCC1-49F9-B371-19DCF483D222","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":"Q4236062$E2FACEEA-ABD2-4CBD-96BE-66A83A055FED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8d3e7a3031531d0e9824370e4069aba354b22889","datavalue":{"value":"https://doi.org/10.1080/11663081.1998.10510935","type":"string"},"datatype":"url"},"type":"statement","id":"Q4236062$A8156370-DE8E-47D3-86DF-3DF39DF484B8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"47723e73b6d5232ff386af254312acb3066d2fd8","datavalue":{"value":"W1965787309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236062$9CB2CB5E-FF03-40EC-8713-68DC4DBCF0A3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236062$E45DE152-DFC5-4D95-9E91-26263D33635E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f64cf04db93cfe9b0a19e95d9bd7caf413f3a6d","datavalue":{"value":{"entity-type":"item","numeric-id":4856150,"id":"Q4856150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236062$73B7A65E-A751-406D-ABA8-FFCD46224A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca02b516f0baae945733703283e9713503ff8c97","datavalue":{"value":{"entity-type":"item","numeric-id":5727665,"id":"Q5727665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236062$D4F4F25E-E567-4B27-876C-8C4FD326DE10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01b4c5058fe84975a5bee301bdfd6ba4310c1ea0","datavalue":{"value":{"entity-type":"item","numeric-id":1895412,"id":"Q1895412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236062$2B97CA92-3703-4B4B-9F95-3F97479201BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75bc4d563688937953e9565cb59d372220564c2a","datavalue":{"value":{"entity-type":"item","numeric-id":3685233,"id":"Q3685233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236062$76BE9098-A78C-46AA-9C9E-87418133BE1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1404903fbb3450c69ae4b46e148487834232fe43","datavalue":{"value":{"entity-type":"item","numeric-id":1823013,"id":"Q1823013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236062$E0F397D1-5D0A-4271-B392-659FA12B9139","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Shell for Generic Interactive Proof Search","badges":[]}}}}}