{"entities":{"Q5881199":{"pageid":7910750,"ns":120,"title":"Item:Q5881199","lastrevid":97502093,"modified":"2026-06-05T14:54:21Z","type":"item","id":"Q5881199","labels":{"en":{"language":"en","value":"A calculus for conditional inductive theorem proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7661561"}},"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":"Q5881199$8CFB3B69-4AC6-4733-97E8-86D41A0B95E2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"865fe65a2fa4d4b6e7c7353ce7903babf26b9f8d","datavalue":{"value":{"text":"A calculus for conditional inductive theorem proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5881199$F9040152-C80E-4A7B-8561-D25C464427A7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fd6d2e178b40209735d958e5c052c1f6837867ff","datavalue":{"value":"10.1007/3-540-56393-8_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881199$424E219C-0497-48A3-9C46-09229F035430","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f07cfac6dc00f3aa34fdadc5aebc0d4dedb21b5","datavalue":{"value":{"entity-type":"item","numeric-id":4028348,"id":"Q4028348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881199$2C5C9909-2E7D-4F23-9F74-20F7BAEE2BD5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00eb62236e33a5483cf4681f1956ae601238d263","datavalue":{"value":{"entity-type":"item","numeric-id":5881171,"id":"Q5881171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881199$4F744AC9-D09C-4B0A-8AC9-AB5655547573","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa71b3b2a7b7ab0138de60bd723d67e92e6e5110","datavalue":{"value":{"time":"+2023-03-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":"Q5881199$F3510096-A45E-4AAF-A9A7-5348A208D981","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881199$B162E4DF-E894-4C0D-8540-F44AE47065BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881199$CABC295C-0522-4C10-9983-4F8702A3C450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881199$AF2878AA-05B7-4DF6-A476-599F5A549826","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e50d3e46e3d1aab4a73f927b0c9573f595e381e","datavalue":{"value":"7661561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881199$09F57FFF-0913-4219-9467-067DEC5B76F1","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":"Q5881199$52824FEF-A8F7-4F74-89B3-191EA9ADDA65","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"10faaf6ce31d9524ed3b229114926ff2cef67f31","datavalue":{"value":"https://doi.org/10.1007/3-540-56393-8_27","type":"string"},"datatype":"url"},"type":"statement","id":"Q5881199$CC30D807-1761-4F64-BD39-EE27E40044CA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d52cda75c61e010e3cc4a3918e0fafd28342eade","datavalue":{"value":"W1548912834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881199$B35E4B57-2DDD-43F1-9FA7-0C7159B55D19","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8124e2aa86067094dab23bb14b8dadf2e19d522b","datavalue":{"value":{"entity-type":"item","numeric-id":3894958,"id":"Q3894958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881199$BA0719E1-B9B6-43E7-8923-8F6C2ED742A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d3f5f0e6d39b0610560c479018fc71a2adcd20","datavalue":{"value":{"entity-type":"item","numeric-id":1098624,"id":"Q1098624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881199$A124A1E3-DE3F-40AF-8935-9DA1E6D9D681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4630e128de82a3ad2c669e65914d74ba0ce8622","datavalue":{"value":{"entity-type":"item","numeric-id":3998281,"id":"Q3998281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881199$A24BBC72-76BB-4014-A2D3-CAD44A723439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b77f2e9aafcfe3d583d9c09d0768e0534ac2beee","datavalue":{"value":{"entity-type":"item","numeric-id":1050767,"id":"Q1050767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881199$31CAF518-D7A9-4CA1-9578-B057CA06A2BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff887064dbaf50463f11dd0960d847e76e240eb8","datavalue":{"value":{"entity-type":"item","numeric-id":4249033,"id":"Q4249033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c120bed54e7a382ca4c39efb7a3c1217eedfb8d7","datavalue":{"value":{"amount":"+0.8163648843765259","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":"Q5881199$F2504C1A-31EF-4AD7-9B6D-E3284128471D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf406162bd23dd9c925caa640d4857ed42d8c326","datavalue":{"value":{"entity-type":"item","numeric-id":5881278,"id":"Q5881278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62340e90d291635de6eabf702d4256803f2db4c0","datavalue":{"value":{"amount":"+0.7845408916473389","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":"Q5881199$3A90EDCB-7891-442B-B2B5-BCC2680E457E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a299ada1677cb50f9badc2dfb747cce9998463ae","datavalue":{"value":{"entity-type":"item","numeric-id":3026376,"id":"Q3026376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfa21152c4ba3b46a6414b0594de91d75589102b","datavalue":{"value":{"amount":"+0.7624809145927429","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":"Q5881199$C4CCF6B2-8097-4EA2-8A61-263B6AA42404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ee8ab609614895db70868f5fa3735a271f7810c","datavalue":{"value":{"entity-type":"item","numeric-id":1891255,"id":"Q1891255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc5add0f2acb737690294e4b964d4e0d7d8aed17","datavalue":{"value":{"amount":"+0.7579480409622192","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":"Q5881199$787246DA-1DC7-4045-833B-DFAF929E2218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db476a1c29ee3caead0e30258c270cd05024359d","datavalue":{"value":{"entity-type":"item","numeric-id":5881266,"id":"Q5881266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47e6c4ed3f7e7979efe4f0173d9e1fcebd777458","datavalue":{"value":{"amount":"+0.7514269351959229","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":"Q5881199$0B02F3B8-356C-46E4-826C-779331E3E2BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A calculus for conditional inductive theorem proving","badges":[]}}}}}