{"entities":{"Q2752531":{"pageid":2763270,"ns":120,"title":"Item:Q2752531","lastrevid":41971252,"modified":"2025-05-19T22:39:07Z","type":"item","id":"Q2752531","labels":{"en":{"language":"en","value":"Algebraic specifications, higher-order types and set-theoretic models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1661167"}},"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":"Q2752531$E58B6892-7707-418A-9EBD-877D8EA1F14E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13490c4d3207e4b32390cf92df0a6b19e6a862dc","datavalue":{"value":"0983.68124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2752531$97CE147D-85F8-47AC-8760-33719CF2D726","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"318dcafa750fdebd097595276bc4d8a687f38a37","datavalue":{"value":{"entity-type":"item","numeric-id":271708,"id":"Q271708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2752531$14A5CC1A-6EEE-4E5A-B8B8-E4429D0F6B05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"73fae7aa6d0c7c2cab5ae77c738df9d6a0e9e85b","datavalue":{"value":{"entity-type":"item","numeric-id":516040,"id":"Q516040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2752531$F286F638-556E-4F8A-8240-B24E10283AB7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"756efeced69ae924328e62c9eeb77201236289cc","datavalue":{"value":{"time":"+2001-10-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":"Q2752531$2ACEFC17-D311-4A46-919F-368609474A40","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2752531$75FAED66-4313-4019-9E95-54B01A462188","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f3005a0cbe553535ece9fbe67195be5ab9314c7","datavalue":{"value":"1661167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2752531$74DC51FC-98FF-48AC-872F-0A0CDB28FA0C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8d095768f689dafb5467f7f143fbf8cf8abd892","datavalue":{"value":"intensional set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2752531$78B60ED9-5C1E-4553-BD69-30DB9E2236F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be2cf67dc938d36c0e4b342cb3dbeca813ee838d","datavalue":{"value":"higher-order types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2752531$A14E8778-79B8-45C1-87AE-BA475E61316D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0e2f6310aecea9b897fec2d7dc36ffc79153633","datavalue":{"value":"Horn-clause","type":"string"},"datatype":"string"},"type":"statement","id":"Q2752531$7DA43D87-EAF5-47AE-BA8C-4DFBE8D54791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04b8cc96e12b53cfdf8323c888dd5a08e17373af","datavalue":{"value":"Z framework","type":"string"},"datatype":"string"},"type":"statement","id":"Q2752531$CE10C329-FD3F-43A3-B02A-14C17B1D629C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e826771140f11806fad709bef2626819d458a8c4","datavalue":{"value":"Q57783518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2752531$7FB8CC1F-5726-4A7B-8819-4064E4B989F2","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":"Q2752531$F52BCFEF-AE1B-4DE7-A093-6B5DAC13E61A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9a0e764194fe0814d1089246b0653493d75ffba4","datavalue":{"value":"https://doi.org/10.1093/logcom/11.3.453","type":"string"},"datatype":"url"},"type":"statement","id":"Q2752531$A6A41614-57B0-4693-877B-33E06CBC1334","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"973cf9a57c1a785feae48eacb5d41d9424bbcf6f","datavalue":{"value":"W2106265693","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2752531$9AB8AC5E-8488-45A6-BCA0-D7084D4C6243","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"af405263d9fff2621592bdfcd8a36fb8e0ac520f","datavalue":{"value":"journals/logcom/KirchnerM01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2752531$F1B9BAE8-E8A5-4F4C-B764-4939D0940ACB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"80b3631e0f372ed2490bff233ea3a746c167419b","datavalue":{"value":"10.1093/LOGCOM/11.3.453","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2752531$EB04DFFD-0D29-4543-935F-F31A1EB7FA5A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"439e9dd343409dd3dd1f22bd3240e6f824d19efa","datavalue":{"value":{"entity-type":"item","numeric-id":3719801,"id":"Q3719801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e0c925c771517c19e9630f84520c7e3ecf947e2","datavalue":{"value":{"amount":"+0.93054783","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2752531$0EA73E90-C319-45C8-8C56-B884B1640239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e103bd4c9dd0bc95ae7a2aac812824b74dc5c8be","datavalue":{"value":{"entity-type":"item","numeric-id":5701016,"id":"Q5701016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84e31aba031ea0c3df99bb6e369ecb93e6e70850","datavalue":{"value":{"amount":"+0.91913795","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2752531$3E452691-A0F3-4C81-8D1B-F934EB0FA946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98dc4fb4f8470bf3139adb0da9242cfdc057ad56","datavalue":{"value":{"entity-type":"item","numeric-id":1098613,"id":"Q1098613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b55bb8901b7f9e35c3eba49f60aa6eb10f8f2205","datavalue":{"value":{"amount":"+0.9126797","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2752531$20ECF8F9-0B34-4A80-89CF-AE5FEA47935F","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":"61643c6c11c662e9c66ec1fa7c37a39fa1187afd","datavalue":{"value":{"amount":"+0.91159314","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2752531$18AD6AE2-FBA2-4AF6-B4BD-3CC47B6A653B","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":"dea6707d05f0a88d75159337f5549b16e85cd600","datavalue":{"value":{"amount":"+0.91071826","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2752531$288B1245-36BB-46B0-BD8B-8B07DC926046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bef8c3e01d06907c997bf702141028b7dd599b4c","datavalue":{"value":{"entity-type":"item","numeric-id":5292644,"id":"Q5292644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2caee5b95225c5debd0bad659e9c9067562fa24","datavalue":{"value":{"amount":"+0.90858775","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2752531$E20DF3E3-17D5-40D8-B7E9-F520E97A95B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d2297eb8442881cd6208ce70d13682d01272971","datavalue":{"value":{"entity-type":"item","numeric-id":5145623,"id":"Q5145623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27e2aae7fb28c0773180c4e5901ad5aa2ce1c2b5","datavalue":{"value":{"amount":"+0.9059335","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2752531$511E67A3-76F8-472D-95F4-78AC8C0DB0C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93ce8044a5d9132360c2f1f380ded6f7b3676f90","datavalue":{"value":{"entity-type":"item","numeric-id":5287682,"id":"Q5287682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04670a9feefa838c07d015f3eb73bff53195c212","datavalue":{"value":{"amount":"+0.9053212","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2752531$ADFFF15C-CA8A-46F5-BD57-AFEEECCEC676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab3555e51460d2906eff73519c4f3b1387799a5d","datavalue":{"value":{"entity-type":"item","numeric-id":3809235,"id":"Q3809235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0d087c199e32b4115be8766cc1199c857cd8d7e","datavalue":{"value":{"amount":"+0.905081","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2752531$F730690B-50D9-4A67-BB34-117F1FC17D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb720330f278919ca46f0366f42e48d51f3cbaf8","datavalue":{"value":{"entity-type":"item","numeric-id":1057642,"id":"Q1057642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55c06b31cc14fad68dcf1f89a39c471805bc85d2","datavalue":{"value":{"amount":"+0.9039008","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2752531$91B5BFE5-B0C4-43CA-A364-C7443D0F84D3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"212f4c6066d1db38894d4388800b13afb29a4118","datavalue":{"value":{"text":"Algebraic specifications, higher-order types and set-theoretic models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2752531$1916A2F4-4D52-44DF-8B22-94E0FAD3BDE8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4e284497c1d95ed03031b32369f55bf404c9e002","datavalue":{"value":{"entity-type":"item","numeric-id":6768690,"id":"Q6768690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2752531$07DD9590-C02A-4CF7-8417-08DA993C9B45","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2752531","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2752531"}}}}}