{"entities":{"Q5096382":{"pageid":7125958,"ns":120,"title":"Item:Q5096382","lastrevid":54382274,"modified":"2026-01-26T17:53:27Z","type":"item","id":"Q5096382","labels":{"en":{"language":"en","value":"Order-sorted algebraic specifications with higher-order functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7572207"}},"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":"Q5096382$EECC436D-675D-426E-B76A-B1846EE3F957","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"68579a3a224805690c1330c19055ec63be615915","datavalue":{"value":{"text":"Order-sorted algebraic specifications with higher-order functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5096382$957BDDCD-DC49-48CC-878B-091D54A8AC18","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4554762d5df489e90e6a939a466455100ba625b5","datavalue":{"value":"1496.68201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096382$4381F2BC-542B-4F24-929C-60C7066C5A2C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2e6986692e03986468178368fbd9cf9513ac0817","datavalue":{"value":"10.1007/3-540-60043-4_50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096382$270ECFD7-09D9-47EA-876B-EA675E6991D7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61858cb81e4b5eb34d2de9199633f44c2ecae313","datavalue":{"value":{"entity-type":"item","numeric-id":2996122,"id":"Q2996122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096382$1F1F562D-2C34-48C6-A920-A79E3128499C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f0638de14cb053deb57828797f5c127a478dbaa","datavalue":{"value":{"time":"+2022-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5096382$9F752D71-A03A-48F2-9953-6C8A9C768BAF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096382$8E9B1353-388F-46AC-BDCD-5405C1D24257","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f3ac13b3f17da697a47db891fb4d72c41d68a753","datavalue":{"value":"7572207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096382$CE655390-823F-4975-8DB9-8AE096F607D5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"275b282993626dfc3244a57858b27ad0b295bda3","datavalue":{"value":{"entity-type":"item","numeric-id":1391096,"id":"Q1391096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096382$83590F4C-4F58-451E-B214-030FBCC42184","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":"Q5096382$2417425A-C5F5-44F6-96CA-36F15392EB0B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dac77528a0f3423341e3754e728bbbd086caa7cc","datavalue":{"value":"https://doi.org/10.1007/3-540-60043-4_50","type":"string"},"datatype":"url"},"type":"statement","id":"Q5096382$E8FCE940-25B7-4F11-8A1F-B58D3AEAAB0A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1e4d197d5773035f0d39e31ba2e5feac833fe081","datavalue":{"value":"W4235266485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096382$CA48C866-23CC-4C90-A972-374841C3C5ED","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"35f820e9c2b45f8f035a710ad26c0ff0e5c7ae48","datavalue":{"value":{"entity-type":"item","numeric-id":3221381,"id":"Q3221381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096382$83B6EFA5-F953-4405-A32E-83F1C6CBCCDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3239d3bc022112b37f4da6991a3c7bf09667ee35","datavalue":{"value":{"entity-type":"item","numeric-id":1196302,"id":"Q1196302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096382$9BF4D154-3350-4483-B173-04919B3040DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"525262ca8c45e9cd946a0afbf9b39ad1f0b59741","datavalue":{"value":{"entity-type":"item","numeric-id":4885625,"id":"Q4885625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096382$3172C08F-506B-46C3-98E4-143DE097C856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"702b2821c5367dd27f221db66964c05d11d7f0c0","datavalue":{"value":{"entity-type":"item","numeric-id":3809236,"id":"Q3809236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096382$F549F854-A6CF-4C77-991F-DCD78229B66A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b119569fbdb13d322462424e06f4aacbb0a4f70f","datavalue":{"value":{"entity-type":"item","numeric-id":3789048,"id":"Q3789048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096382$4E37C170-F720-4D98-AEA4-FBE59F410A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a92b361a18a5491ab3cc99003979f5f231d4721","datavalue":{"value":{"entity-type":"item","numeric-id":3719801,"id":"Q3719801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096382$250ECEEB-EA90-401F-ACAC-63EEF817A36C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42e5d06143032e72030e97df285d24ea74adfe1","datavalue":{"value":{"entity-type":"item","numeric-id":5096189,"id":"Q5096189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096382$D9A50E80-5F3B-4BB5-912D-063C58C81EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86e1bbc33be82f14c47bfa8bf9830d4b4e921ea7","datavalue":{"value":{"entity-type":"item","numeric-id":4855337,"id":"Q4855337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096382$417F3A06-9CD6-42CE-9B9E-91631F6CCC73","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e14013e5498cf6480d2ace02c0a52a15ba8c6c9c","datavalue":{"value":{"entity-type":"item","numeric-id":1391097,"id":"Q1391097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7b13b96a757a1dfafe00c6705b05a507a7c08ea","datavalue":{"value":{"amount":"+0.9996721148490906","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":"Q5096382$D12496FE-70B7-4249-9D7E-5697BCCF3C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa8dc9a872db4b81a631124b46c9b5dc9da04a9c","datavalue":{"value":{"entity-type":"item","numeric-id":5096189,"id":"Q5096189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87e3077cbf75cfe7da73fc5bb575642bc8c7fc69","datavalue":{"value":{"amount":"+0.8486118316650391","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":"Q5096382$DC3218F3-51AA-48E5-A9AA-F2D059A01D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c076049921ba69fdc841933c89532c018c305b6","datavalue":{"value":{"entity-type":"item","numeric-id":3809236,"id":"Q3809236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bab64bf961d417396770ade42a9f28e9d06187e2","datavalue":{"value":{"amount":"+0.838981568813324","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":"Q5096382$73D0A3E4-B99D-4813-B896-3A4B4D8E6219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f5cd6c45482e4c8f334acf0e31b18fae74a4a74","datavalue":{"value":{"entity-type":"item","numeric-id":1323318,"id":"Q1323318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d48a0f8ea1b5fcad34db1a1d2cd9edea1b7933ac","datavalue":{"value":{"amount":"+0.8034500479698181","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":"Q5096382$A54A0A26-992F-4574-B576-4649AA3F386A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d24aa9f3ad13a995178657677b3e0038ab31cfe9","datavalue":{"value":{"entity-type":"item","numeric-id":3334056,"id":"Q3334056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab8f324a0b71c6648266aa0ac044387ee9652ee7","datavalue":{"value":{"amount":"+0.7953798770904541","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":"Q5096382$2CFA681A-EC68-4FAF-B085-4345B2C7758E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5096382","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5096382"}}}}}