{"entities":{"Q1391097":{"pageid":1401837,"ns":120,"title":"Item:Q1391097","lastrevid":71052642,"modified":"2026-04-13T19:10:03Z","type":"item","id":"Q1391097","labels":{"en":{"language":"en","value":"Order-sorted algebraic specifications with higher-order functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1177746"}},"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":"Q1391097$8E2CE077-527C-4A5E-A5A6-F7DC4DA4D219","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":"Q1391097$B1068F6A-3CD8-49E5-87D6-2465A63FC5BE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"50e7089e8d3a092ade4ee826bb5e112af59b0dc1","datavalue":{"value":"0901.68127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1391097$3A790342-564F-4F82-816F-454860175D39","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"98ba2c7a35347633725f44df8e10574d376e1c96","datavalue":{"value":"10.1016/S0304-3975(96)00323-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1391097$7D5AD2C3-344D-4D92-A30E-6F201818D61D","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":"Q1391097$3A967264-2052-4D97-BC19-88D31F8EE163","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391097$030E3F07-29DA-4826-8BE6-DD89CCCE4334","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"04855ee36d302f814b50229947d6c78840861251","datavalue":{"value":{"time":"+1998-07-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1391097$416E12EB-9870-454F-97E7-D3C9B179EE92","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1391097$1B342362-DAF0-4D84-BFA3-D4F17D9A4F74","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"580f7c7b068140e8530ae035abe0e8aa9de08aee","datavalue":{"value":"1177746","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1391097$530519DF-C30D-4015-A509-6ECA18E9A874","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"906f3251c0a2cc72cc8db51d69312221c1e70438","datavalue":{"value":"order-sorted algebraic specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1391097$55E3369B-7AB1-459E-AFE2-6199E1CB8FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3dc896052e56d420496bcd412a3e3ef4322f80c","datavalue":{"value":"higher-order functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1391097$C24EFA76-9AD4-4D82-91AA-89B5C438645C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5934bfe488ad6ac441a2d887e283b8ccc7bca59","datavalue":{"value":"subtypes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1391097$CEF897F6-F71C-41FF-8079-A1841D2ECE7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"894c7d726d0442b694c16aeb6c208df77e7fc2f3","datavalue":{"value":"algebraic specification languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1391097$474BE9F9-83DF-49C2-8915-97FC6EF4D9AC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"91328e3ac5dfce9b45d01b607b8d8c272a5b6733","datavalue":{"value":{"entity-type":"item","numeric-id":14670,"id":"Q14670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391097$CA0C7D8F-6BAB-4A34-B73C-0A36BFDA55FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4840352b17217b124b50c88ee4bd6bcc958c902f","datavalue":{"value":{"entity-type":"item","numeric-id":17510,"id":"Q17510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391097$FEEE73BD-0D6E-4A1C-B5AC-DC88A475C0FC","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":"Q1391097$A87EF4DB-95D6-4DD8-B2A1-054FC3583519","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":"Q1391097$0C81C432-7272-4CA9-A5AF-69CB528ABD62","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":"Q1391097$1B7191C7-6B57-426B-A2D0-6504F85D9191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"529902d1bd808e7b1c37728d00e70a6d22d98738","datavalue":{"value":{"entity-type":"item","numeric-id":5096382,"id":"Q5096382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391097$B1A48DB0-D769-4D71-B611-5BAC2904EB74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"745afdc1d69dfa6fb4f7e6ab42966c71907ea2ad","datavalue":{"value":{"entity-type":"item","numeric-id":3355246,"id":"Q3355246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391097$D0918160-FE30-41CE-86FD-1D92FA614977","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":"Q1391097$A9346074-3536-467D-B1B8-F1CA78E3EC06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e6164d85c4694c71a8983f1c45bf387f665fdff","datavalue":{"value":{"entity-type":"item","numeric-id":1199827,"id":"Q1199827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391097$BDAB1E3D-2614-4E5E-B797-95EB88709C09","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":"Q1391097$DB056E87-70CA-4BF7-81F4-090530443F74","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":"Q1391097$CDD35DAE-B89B-4A1C-B4D2-6036B4BB4891","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":"Q1391097$5939C57A-E8F8-47D5-95B0-F31353B3AD5D","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":"Q1391097$8186A334-8F6B-46E8-9184-57C01392B8E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0e6af0d9aa6736e1cf612eb20680aaee6f85e69","datavalue":{"value":{"entity-type":"item","numeric-id":4680192,"id":"Q4680192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391097$735EAE54-0935-486F-A0FA-F96836B370FB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97b94d18df9445994d33b6f62171e8d1f0387c0a","datavalue":{"value":{"entity-type":"item","numeric-id":5096382,"id":"Q5096382"},"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":"Q1391097$44413C63-0363-4F74-B799-6A34590A7916","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":"472d57c48758aab8b7f415f1d26335b86b21eb5f","datavalue":{"value":{"amount":"+0.8501863479614258","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":"Q1391097$2F749FC6-5ED6-4917-8F68-0E7F3793F59C","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":"7ca43c23aea8cf308d646f2b52fc768d33221025","datavalue":{"value":{"amount":"+0.8381361961364746","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":"Q1391097$6ED41531-09F7-4644-91A7-7DF18018EDFE","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":"8de3b8ed7c8aab15f381f617491b000a8c9ed734","datavalue":{"value":{"amount":"+0.8089218139648438","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":"Q1391097$2DD2622D-E2E0-4465-BFF1-559A773C4F24","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":"d4c2c6508950cad104a1179a8abc592e9cf04f69","datavalue":{"value":{"amount":"+0.79311203956604","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":"Q1391097$94CD6BE2-0CA6-4CE0-8C8B-5881CE6892C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Order-sorted algebraic specifications with higher-order functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Order-sorted_algebraic_specifications_with_higher-order_functions"}}}}}