{"entities":{"Q3183524":{"pageid":3194232,"ns":120,"title":"Item:Q3183524","lastrevid":80028083,"modified":"2026-05-06T15:16:34Z","type":"item","id":"Q3183524","labels":{"en":{"language":"en","value":"Turning Inductive into Equational Specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5618505"}},"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":"Q3183524$AA393018-EB71-4494-AF4B-64A7FAE03954","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"70ea2518dbb4a506c96eb1df1bb588fa1f9c6539","datavalue":{"value":{"text":"Turning Inductive into Equational Specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3183524$0A52C260-0581-4BE4-958C-EC96C7AA12F7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a523c01543133fa5f35a260a80fdc25a30d91ffc","datavalue":{"value":"1252.68249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183524$597FF6CA-8F2C-4A5E-9C22-A2E4C91CB256","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7337d653e2d4c6aff8624f21633a79890b78d0d1","datavalue":{"value":"10.1007/978-3-642-03359-9_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183524$B87768FD-F584-4770-8D30-AB1F0A59C566","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"886664d698445e1702c39c62a8e99a722a88bdd6","datavalue":{"value":{"entity-type":"item","numeric-id":817699,"id":"Q817699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183524$6B2E31F3-5A51-484B-8E3A-0BE3AAB81C86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"08f6a76b1a5751a176b642aca232b1b00d17f433","datavalue":{"value":{"entity-type":"item","numeric-id":2891446,"id":"Q2891446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183524$0244D2C4-028D-4DB2-8C57-DDCE4874191C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"834e780fa83e41c00339343618afecbdebf7a197","datavalue":{"value":{"entity-type":"item","numeric-id":2913942,"id":"Q2913942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183524$F8D56629-F5A6-4BEA-B178-0DD3C46C37E3","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":"Q3183524$0EBA854B-6DFA-4E0D-B028-172B04311986","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b03fe0d32567f363cc3207214473a7371265cf3","datavalue":{"value":{"time":"+2009-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3183524$76294262-2F29-46F4-9B21-8BFDD5B9F28D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183524$8CA58480-F5BD-4B69-973F-F339E39746F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183524$A059CCFC-D306-42C9-9BA6-C3744969CE86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183524$6AE02756-0BFC-4195-9820-7D29A104886D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183524$8DE0B9D7-E3A0-4CBD-8A40-46B7F5383201","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a8df3c3d13b89f1775de49da30289f27f9070519","datavalue":{"value":"5618505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183524$C8F70510-367F-42A1-BE84-44807BAC4B11","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183524$A1895062-CC6F-4D7B-A937-3BF678FCFEEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f900c00b9c1039bd7128859b5e56ec82deed0417","datavalue":{"value":{"entity-type":"item","numeric-id":20342,"id":"Q20342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183524$0C314B66-D53A-49B9-858F-22B779BD8ADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183524$7605C945-5DA8-4728-9CA5-284A59342DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73bf07fb0985efe0166024eb806e5cf2244671a5","datavalue":{"value":{"entity-type":"item","numeric-id":18489,"id":"Q18489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183524$C6F5F711-04A7-4E57-96A8-585F51F46D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183524$9BE5EF50-C09A-46A3-82F3-53B575C6332D","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":"Q3183524$26DF1CD4-C661-4AEC-A4C1-C41A7010C772","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"999f435aa7b012ac700c1ad3d5251407edb395cd","datavalue":{"value":"https://doi.org/10.1007/978-3-642-03359-9_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q3183524$F9B4B1D4-9A93-4244-BD7B-7C71E55DCA4C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4c1484fa9d4934253c53cb8644315598b6ae9dc8","datavalue":{"value":"W1486298687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183524$70FCEAD8-B416-4D6F-9E31-E6561500E68B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c60f93a1843fcd9c0656971efa4327b435decb9","datavalue":{"value":{"entity-type":"item","numeric-id":4736387,"id":"Q4736387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183524$08E2C7E1-943A-41CB-997A-6A0B709BCB18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b850f855f9b1554304745d76215bc417f8a82cdd","datavalue":{"value":{"entity-type":"item","numeric-id":3523167,"id":"Q3523167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183524$80AB41CF-CD71-4B46-9758-9550B4C3443A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71c63d7c38e608a5bb2ca4f78db14d743a6f7a09","datavalue":{"value":{"entity-type":"item","numeric-id":5428912,"id":"Q5428912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183524$087976D5-3F49-4002-A85D-C84E65939D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e11351b325b025afb4cff06a5be0701786c5477","datavalue":{"value":{"entity-type":"item","numeric-id":2752051,"id":"Q2752051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183524$7754AAFD-091C-4C26-A598-034654525B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81cec6c49db5f12e0ec3e401cc0c8955db1ee6c9","datavalue":{"value":{"entity-type":"item","numeric-id":4339846,"id":"Q4339846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183524$C181BF9A-93B4-4B28-9CFF-A06D85B9EC8E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5bd0fa66fd9009baaa2529908f98e3f28360a72","datavalue":{"value":{"entity-type":"item","numeric-id":5055713,"id":"Q5055713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2625c06e5a3fc13a145bf6af75bab1ca3f2bb837","datavalue":{"value":{"amount":"+0.7357750535011292","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":"Q3183524$CBE40EAB-3F53-4961-A48A-121FF5B8B34B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe48151ebb376d54c8f462ba2eabb814b6e0efc4","datavalue":{"value":{"entity-type":"item","numeric-id":3558332,"id":"Q3558332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26b9a8d32a567ea8fb2ed43ef1561885c0b3b931","datavalue":{"value":{"amount":"+0.7249391674995422","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":"Q3183524$105D9BE9-96F4-4FEB-9E74-4C99B8675815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce6b18b9ae53aab9cdd32553920806fcfd4783c9","datavalue":{"value":{"entity-type":"item","numeric-id":4916053,"id":"Q4916053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"320960f2cd58fdee10b689fff03b1ceba14a71b9","datavalue":{"value":{"amount":"+0.7176994681358337","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":"Q3183524$DCED071E-0B55-4BE5-B574-FB0D9C610846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bf0f16f9bd2a779f2f0fde3110857be40584aed","datavalue":{"value":{"entity-type":"item","numeric-id":1322836,"id":"Q1322836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9ea276ed326b9b47115316589d914c30e1b5799","datavalue":{"value":{"amount":"+0.706782341003418","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":"Q3183524$491ACEE4-46A9-43FF-B2C8-E0158DF5F084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20278ea31b9cb8cdfa984e855c1685733a4ee779","datavalue":{"value":{"entity-type":"item","numeric-id":3805961,"id":"Q3805961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b00c9b1ea38b2bc8c0dfaf6272625dc505e69ad8","datavalue":{"value":{"amount":"+0.7054840326309204","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":"Q3183524$1BA171DE-0938-4B55-AA4C-87EEC11D9F32","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Turning Inductive into Equational Specifications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Turning_Inductive_into_Equational_Specifications"}}}}}