{"entities":{"Q1185014":{"pageid":1195763,"ns":120,"title":"Item:Q1185014","lastrevid":47060815,"modified":"2025-12-31T13:27:21Z","type":"item","id":"Q1185014","labels":{"en":{"language":"en","value":"Semantics of order-sorted specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 35443"}},"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":"Q1185014$C446E7AF-94E1-4218-8F3B-7DD6AB07F682","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0c8a7c330286f07b317a694c940be8605a8f29d0","datavalue":{"value":{"text":"Semantics of order-sorted specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1185014$81BCEB8C-7090-4CDA-80A0-8A32F425C9FA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"36f8edcf00fadc74ecdb8752c19cca0dc3bfb598","datavalue":{"value":"0746.68064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185014$45DAD292-B5CC-41C4-8136-9E9C5E7F829F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e9337cd3b737c573268c96e9b3873322fe95e84a","datavalue":{"value":"10.1016/0304-3975(92)90322-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185014$EA5567CF-6B4F-4A49-AD87-950510A68E11","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ecde3ddf4f96a8da457aeb906b2979614b354694","datavalue":{"value":{"entity-type":"item","numeric-id":293310,"id":"Q293310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185014$633A082C-503A-499A-93F1-0FA147B5EFED","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":"Q1185014$01DEA60B-03BD-40C1-A3CF-D148CF64312C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1185014$537E2D4C-4183-458B-B76B-2542ABA01CA2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185014$5C6B080E-7E04-458B-9E3E-4F3D2028448F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185014$5DE47B57-603D-4781-9794-BEFF1BF8A63E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185014$B2822703-6EAE-499D-821C-2C87335A77E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185014$32BCE964-20BE-4B79-A270-9EAB27C69CFA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81b1035bd65e3a08feadb5ae70764377fd156571","datavalue":{"value":"35443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185014$B88282E3-6848-4CE5-8738-7632001A54D0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b373844eadc95e3de26e5c846015efcf1ca2e3a3","datavalue":{"value":"overloaded algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185014$279A1567-56CE-4DD9-8EFD-3BD2D2A2467B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7acaabcfde729765b23bd71facf5790abc3a180","datavalue":{"value":"nonoverloaded algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185014$62993AC7-3E28-497E-96FC-379D6CB4F181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb40407ee82a936477220c4442becd1f17199ff2","datavalue":{"value":"order-sorted algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185014$0DF08454-7479-4C91-94AE-285DF94A2AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0f95fd7c491c2848966554299dc8d662766cabe","datavalue":{"value":"equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185014$47D8113A-91A2-4310-B1CA-CC82EDB7E618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"476e70cc5d552d5cdc76575cc73d40a8bfb4b86e","datavalue":{"value":"rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185014$6EE621F3-1267-4672-8ECE-3CBCFA04AE32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41b8ab866f2130f494e3b07bc4d1da4f4429a9e0","datavalue":{"value":"completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185014$AB5507BE-D049-4616-BA80-33079A835D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4620bce413f1ca5a0b0727e684f1c70e94dcb613","datavalue":{"value":"Sort-decreasingness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185014$81CD7A75-CA72-4577-AB3D-8F836A1124C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185014$F8B98612-F7DA-43C7-B912-B857AFBAD03E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"628f5b7d9a448fe1db9aaaae7a1acbfd2db5db73","datavalue":{"value":"Church- Rosser property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185014$5B39CA39-58EA-4FF5-ADD4-678564E8392B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eac1c4d57d428af6e7426596857c20e34a8f4f48","datavalue":{"value":"overloaded completion procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185014$80399AC6-8669-444D-A3F1-52D87527A521","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":"Q1185014$A8ACB6C6-FA8D-4B31-9EDE-E2FE0D73048E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"301347688ef4f781c5b318b5af24952a8950a3a1","datavalue":{"value":"https://doi.org/10.1016/0304-3975(92)90322-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1185014$DC93E3F9-375A-42B8-92A5-933AC92C3AEF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7b0a253272f58bcdb60a7ee7276d8294207c7f0a","datavalue":{"value":"W1998413900","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185014$7B106DB7-C753-4D93-BEE6-C0C4F3E59A0E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0285c907a8b1aec6e16d4e2ecf8f1e6d1cb0953","datavalue":{"value":{"entity-type":"item","numeric-id":4038726,"id":"Q4038726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185014$62662E98-52FA-43CD-856D-37C4D3067CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185014$E84A4FB2-B03A-4705-BD94-81B3B9C976A8","rank":"normal"},{"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":"Q1185014$F7D9275A-1711-4D6F-A238-0C39287ECF9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"152fee618a8c8a56c2f61e93a4a015993fa3b87b","datavalue":{"value":{"entity-type":"item","numeric-id":1177935,"id":"Q1177935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185014$DD3104C3-7ACF-4376-A479-A7407F786480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185014$40E3C03D-F974-4957-859F-E0FED9F52275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdc1a4f7b272fca5c40634f0ef5413f6c118a245","datavalue":{"value":{"entity-type":"item","numeric-id":912606,"id":"Q912606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185014$1C187461-AD3A-433B-9137-F5F5FB7572DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aef4635a53824b2b1b464a217e7668cc18ea604a","datavalue":{"value":{"entity-type":"item","numeric-id":3334056,"id":"Q3334056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185014$C3C98340-64B0-43F5-8112-B7AB96243B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3388784066552dbe30b5bf9917261a8daba9ae5","datavalue":{"value":{"entity-type":"item","numeric-id":3719824,"id":"Q3719824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185014$E7B63FB3-B1C9-4BFC-B0D9-96F5C41C895D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9c583b65c7819a91d7f03c50f27e11283eee826","datavalue":{"value":{"entity-type":"item","numeric-id":3962973,"id":"Q3962973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185014$02F32304-5925-4D64-B220-31AFB3703AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86c28bddd65e590b0412fcd5f41b0b1a4685933c","datavalue":{"value":{"entity-type":"item","numeric-id":1803659,"id":"Q1803659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185014$CBB31F96-156E-4E79-8320-A8F86930F03A","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":"Q1185014$29F1FCDE-93B5-4000-9BEA-2ACAE318EDE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0065dc8b5c25773ef1d9719266c7992d0edd4dd5","datavalue":{"value":{"entity-type":"item","numeric-id":4131619,"id":"Q4131619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185014$A3E0955B-B783-4B10-96C4-9FCCF85D6413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8ffd80c0f66dbfb43fc21c30aee0ecb3bfcf815","datavalue":{"value":{"entity-type":"item","numeric-id":3673071,"id":"Q3673071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185014$824B9A22-61EF-4BC8-AAB0-1EC09E731F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"849241baa6b3c56591969b2586e51dae90f667cf","datavalue":{"value":{"entity-type":"item","numeric-id":3816048,"id":"Q3816048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185014$DF3C0400-18D5-461E-95B3-EA23B87F7625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a563464d434ef2d751986d83ad2c2fbce7bcf156","datavalue":{"value":{"entity-type":"item","numeric-id":3795207,"id":"Q3795207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185014$D471EC18-C227-47FA-BC28-0479CECDA08A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185014$798B7D81-69CC-4C8C-97A1-F900658B1512","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":"Q1185014$5CFA2F0F-B628-47D8-978D-9E764CBED216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d2e515b8f14213cd38f21fb2b2915093cbf9321","datavalue":{"value":{"entity-type":"item","numeric-id":582269,"id":"Q582269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185014$763B44E0-0469-43BD-BF49-7D8E0341D3D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fc846a064cd218190307f32dc994e9ec92c8da3","datavalue":{"value":{"entity-type":"item","numeric-id":774393,"id":"Q774393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185014$70B03AEB-12EB-46B7-ACA7-3E0E30170C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ec1ce7913a05ed6abd0f9e363f66a4c9478ce78","datavalue":{"value":{"entity-type":"item","numeric-id":909448,"id":"Q909448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185014$ACB1919C-52E4-474F-ACB3-2FD738CE9D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0019d907973d7569cdd61ec3c8c4f916896acc5b","datavalue":{"value":{"entity-type":"item","numeric-id":1801289,"id":"Q1801289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185014$F6D86866-47F1-434A-8577-C72FC0D5F56B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae7bb35592ad269eb97113d8b796cc449419c18b","datavalue":{"value":{"entity-type":"item","numeric-id":1177935,"id":"Q1177935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90a42d265eabad929e505455a2a4c9262e8b6fb7","datavalue":{"value":{"amount":"+0.8189132809638977","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":"Q1185014$33914211-3EFD-4166-8DAF-659CF9F0DB74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d6b04844e17eaf8e213efd46faa6d41e6de83f8","datavalue":{"value":{"entity-type":"item","numeric-id":1264441,"id":"Q1264441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"847683657ccbe904646997ef2c1523ba7c8dd016","datavalue":{"value":{"amount":"+0.8167287707328796","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":"Q1185014$2FAA73BD-3474-4C72-A3F7-3699D6DD3399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11478f5ecb8b29c65dccd06e13596b48d3489e10","datavalue":{"value":{"entity-type":"item","numeric-id":1196302,"id":"Q1196302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"847683657ccbe904646997ef2c1523ba7c8dd016","datavalue":{"value":{"amount":"+0.8167287707328796","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":"Q1185014$6D662CCF-9727-4253-A897-DBD83E3AB8F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2cca0a2987b129fa09e63ef02cc9b4e4510c9db","datavalue":{"value":{"entity-type":"item","numeric-id":5881203,"id":"Q5881203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98e963ccb84712993b493eecddc0dd1e073cefac","datavalue":{"value":{"amount":"+0.8129709362983704","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":"Q1185014$3FEB83E1-8A08-48C3-AB91-F935A3F7DDD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a46bb2b8f73343bd9cb6ed10463ea0f250277677","datavalue":{"value":{"entity-type":"item","numeric-id":3719824,"id":"Q3719824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c933db798f34ad2651304012f108ca53fdf00dd2","datavalue":{"value":{"amount":"+0.811401903629303","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":"Q1185014$634DFF19-584D-4838-9A50-1C808DDCCFA3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1185014","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1185014"}}}}}