{"entities":{"Q4594217":{"pageid":6623802,"ns":120,"title":"Item:Q4594217","lastrevid":52959071,"modified":"2026-01-23T22:05:14Z","type":"item","id":"Q4594217","labels":{"en":{"language":"en","value":"Conditional equational specifications of data types with partial operations for inductive theorem proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6808093"}},"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":"Q4594217$25CD46C8-F37E-4740-BF1D-8559CFDFDF6B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"756e1671c73c0ca4d340c36268c94ac8a1ac1291","datavalue":{"value":{"text":"Conditional equational specifications of data types with partial operations for inductive theorem proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4594217$867A8A1F-0F28-47EF-931A-3B08E6D4D459","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9084107b824156a411c323c31546627afe7142ce","datavalue":{"value":"1379.68274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594217$FACD5D4B-DCA6-495B-AF4E-35FA02F9635C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b2d4ef2a1796f69d448f6a8b3f680e53549fa010","datavalue":{"value":"10.1007/3-540-62950-5_60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594217$7563AA93-72B5-48B7-BBC9-B12FC0C3AF6D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7b7e20ab12ae2e121ebb631a7ac80de75fb7578","datavalue":{"value":{"entity-type":"item","numeric-id":2726306,"id":"Q2726306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4594217$478F593B-DDE9-40D8-A058-BB836E3952E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a9059fbad1dac267c8b3db87819e98298f3d65f","datavalue":{"value":{"entity-type":"item","numeric-id":429595,"id":"Q429595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4594217$F7ED3A51-4924-4223-8062-57EA7FD3D1BD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4580600c65d33f1ab219084d83b64440a1c4781d","datavalue":{"value":{"entity-type":"item","numeric-id":3522004,"id":"Q3522004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4594217$4310F508-3DFC-4162-B556-BF373CE3938C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"825b3410cb99f0539fb93adb9a664af4059fbf52","datavalue":{"value":{"time":"+2017-11-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4594217$485C5AC5-2E9F-4D34-BFAF-A6A665F750EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c4cfe748ac8a207de420ea7691d5f3cb32d7d1c7","datavalue":{"value":"http://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/396","type":"string"},"datatype":"url"},"type":"statement","id":"Q4594217$CEA73C9F-A79A-4F55-9FA3-2CB2ED69256B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594217$7B5C2868-719E-4EF2-9346-742F034F2557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594217$54028582-A54A-452F-90DD-FB88E1FBD748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594217$D39FED0B-5EC1-46E8-9E0A-4491784243A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"070175dad77162ccfdad759957f26bda7d0dee9d","datavalue":{"value":"6808093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594217$2B02F92B-594A-474B-BA46-E183708BC8BD","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":"Q4594217$F5D04ED5-F47E-4BB1-9436-9690C0F2F777","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3be17db31d4b25b3b17af29ff7be804e2a286d4a","datavalue":{"value":"W2109474988","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594217$B02B946C-9291-4556-B4F6-7606AB083930","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":"95b07d1ee6bc75652fb2a15c20597c2d5fd4dd85","datavalue":{"value":{"amount":"+0.8001626133918762","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":"Q4594217$983529EC-E232-4D1E-AB4A-D56A5B1B4FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45c44cb2a18530e85f15f11e50e607b466bca981","datavalue":{"value":{"entity-type":"item","numeric-id":3690200,"id":"Q3690200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c99cfa30c8a11a87e0e745db826df36ed777b3ab","datavalue":{"value":{"amount":"+0.7592730522155762","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":"Q4594217$D7FE945D-5C7F-4352-8B20-5D6BFCCC2444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13842fc6e7c287accccf55d65bd1020fcb1d98e3","datavalue":{"value":{"entity-type":"item","numeric-id":673184,"id":"Q673184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25d1070d146f99e34a4cf862862feaf57aa45273","datavalue":{"value":{"amount":"+0.7586913108825684","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":"Q4594217$45F62B60-98B6-413B-A721-744F18DC816E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b676f0f263454034175e078f153762fb9cf49ebd","datavalue":{"value":{"entity-type":"item","numeric-id":3345752,"id":"Q3345752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78d51fe2b54797d1c8721550342fc5337574dbfb","datavalue":{"value":{"amount":"+0.7568343281745911","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":"Q4594217$DE58ABA3-1D18-4D38-8F6B-E96F351EB4D7","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":"55095216298db83b822bb164315aad407f1785e6","datavalue":{"value":{"amount":"+0.7536442875862122","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":"Q4594217$4A4DDC58-ECFE-4092-975E-6E6E4149CB69","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4594217","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4594217"}}}}}