{"entities":{"Q914361":{"pageid":916209,"ns":120,"title":"Item:Q914361","lastrevid":77723150,"modified":"2026-05-06T09:55:39Z","type":"item","id":"Q914361","labels":{"en":{"language":"en","value":"Code selection by inversion of order-sorted derivors"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4149533"}},"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":"Q914361$0FF39C31-AD3B-4FED-AB2F-C90EAB9167BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"18309ffb4249cb1ade9e6a7a9e5381fd758be291","datavalue":{"value":{"text":"Code selection by inversion of order-sorted derivors","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q914361$FD617976-1A74-4C04-B890-A736B8B91CE9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c269c51599e69f6edea5b0bbae56591e5b3ea185","datavalue":{"value":"0701.68018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914361$33E44359-AC99-49E0-9E22-302AC99A6811","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4e8e9a563d5e6de963f6f4668fdad7fe445a7858","datavalue":{"value":"10.1016/0304-3975(90)90145-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914361$98CCE502-9C71-4A68-8572-1EDFFFFA29D4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa6c58feaa2e5ec62b22f2b80b0ff3e03d88c050","datavalue":{"value":{"entity-type":"item","numeric-id":390876,"id":"Q390876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914361$C5A9A6E0-947C-42DA-9D75-64322C0AC1CC","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":"Q914361$F12252FB-086D-4E9D-84FF-234D4E437AD2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q914361$AA48FF17-92F2-455A-8B87-188630FB6CAF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914361$9B460941-D0E8-4D56-BE62-C116D21212B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914361$88556E0B-A4DF-4EAB-99DA-E1A37F4173E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4af8c316eb6aa6bc9d623ce12576529be0996df4","datavalue":{"value":"4149533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914361$52E75A56-384D-4A7A-948E-FABAD3A86798","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1a2bad4593dfa53b9bdf6d73901a5fbf0b67c8a","datavalue":{"value":"tree languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q914361$B9F6FFD3-AAAB-47F2-825A-5B72A20D9EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f530a8573aeb10b0563fe0d2ddc880863cb296a9","datavalue":{"value":"order-sorted term algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q914361$37D453D7-7B3C-45B3-8CF4-37B8E8CF085E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07d49e625d927ba9ccac25bb479c0861040ed784","datavalue":{"value":"derivor inversion","type":"string"},"datatype":"string"},"type":"statement","id":"Q914361$7C0408D0-BCC2-40D4-8042-085D7E295A59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f250ccb68fc1272b03014192d80df2ad93938605","datavalue":{"value":"algebraic model of code generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q914361$08EE34EF-0EAB-4C16-80F8-9D340D8360C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2450e02f50939b46b52c3140c8d1d485cebe36e5","datavalue":{"value":"pattern matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q914361$38A4B497-7B58-4A27-9EB6-EDCA2F69F303","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4e80b1bdb737072b27970ecf165d50631542509a","datavalue":{"value":{"entity-type":"item","numeric-id":5973903,"id":"Q5973903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914361$C50A3509-9918-47DE-BBC0-16AAF255357F","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":"Q914361$CBFFEBAC-E72C-40A2-9D47-9A6ECDD9C553","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b629f74fd67abdf403ebc0aba9f9aad2dfc309a9","datavalue":{"value":"https://doi.org/10.1016/0304-3975(90)90145-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q914361$3EC9220C-36D0-413C-8E2C-CCE469863F6A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cc0f948b81b60248271bc5634f132cb82ea78908","datavalue":{"value":"W2024379355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914361$D35EF8A1-27C0-4B7D-830D-5C69415D263E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cd390a269d422955a59fdac73f282b2d79970c3","datavalue":{"value":{"entity-type":"item","numeric-id":4101424,"id":"Q4101424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914361$90742852-EEDA-45E2-99A6-CD0EB0949E52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ae9f2e8b71d939ae0323423011a38c781ecf5c0","datavalue":{"value":{"entity-type":"item","numeric-id":5556444,"id":"Q5556444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914361$7FF32F33-8DE9-4E12-9B63-413100B28A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97b02b4c428218c6dd4f9b3c293e40064b90b276","datavalue":{"value":{"entity-type":"item","numeric-id":3673073,"id":"Q3673073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914361$8E518CF8-CE09-4B69-B1AA-F7C71C9EDE04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72c4be1a20b6f0ed1ea5a72f1eb67f09b14df89b","datavalue":{"value":{"entity-type":"item","numeric-id":3709886,"id":"Q3709886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914361$99D06A2F-8312-4749-AA3E-C8D2D2C0A1EC","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":"Q914361$A3A6EA9C-E994-43D0-834C-F0A610EB05B7","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":"Q914361$56424FC4-1826-4CCD-B716-53A20D7F3CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb04a649a73fcfb0ac785adf276c6d3df4e05513","datavalue":{"value":{"entity-type":"item","numeric-id":4062639,"id":"Q4062639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914361$9A2E6BBA-97D3-4E74-9E2F-2076FD00300A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da27a4326fd8fa70eedf4043be0b333c57e46e5c","datavalue":{"value":{"entity-type":"item","numeric-id":3933760,"id":"Q3933760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914361$7433BF1A-C695-4CE9-99F3-E68BD32AF97C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2a5b2ddebd2ab0369854cad775c43938f5294ee","datavalue":{"value":{"entity-type":"item","numeric-id":3696486,"id":"Q3696486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914361$22430FFF-851E-4527-9634-D2D34DACECF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b69a80d861be35ff2d4d996ed709213de04794b8","datavalue":{"value":{"entity-type":"item","numeric-id":3484344,"id":"Q3484344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914361$42655B7F-EA81-46EF-9B3F-5EF936EC5088","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b322b484146a8e7827253f4c880b95f322491a3","datavalue":{"value":{"entity-type":"item","numeric-id":3484344,"id":"Q3484344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b789f4259475ce926be368b41885915870589da","datavalue":{"value":{"amount":"+0.750147819519043","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":"Q914361$1C0B7DA6-5469-4033-8580-D719F8C6B4F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df63abb77a1b0e2cd1f4b9e7a2575dfab7d922e1","datavalue":{"value":{"entity-type":"item","numeric-id":1342507,"id":"Q1342507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e37042ff7a75db1172c6626c6bbdf9a905e04da","datavalue":{"value":{"amount":"+0.7418863773345947","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":"Q914361$9FB3B380-549B-4663-BFDB-2DBF8A6D839C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8611e26bc56b6b2b6ad51d5616ab4bdb08098d63","datavalue":{"value":{"entity-type":"item","numeric-id":4035249,"id":"Q4035249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e6f7ff5131d22d45556acb078b3c0cbaac3c6d3","datavalue":{"value":{"amount":"+0.7402310371398926","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":"Q914361$89EA3779-1B66-41EA-B55C-F16734343752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10b3359fda4d7d2097381f52637d9f89cce10596","datavalue":{"value":{"entity-type":"item","numeric-id":1121033,"id":"Q1121033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e6f7ff5131d22d45556acb078b3c0cbaac3c6d3","datavalue":{"value":{"amount":"+0.7402310371398926","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":"Q914361$391E6C54-065F-4180-93D9-BFD7365C3865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bffe02a5a6755a97add9a4b2300ce49e0172c36b","datavalue":{"value":{"entity-type":"item","numeric-id":5464009,"id":"Q5464009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aed0e1fb672f2d79b8ea4abe77a7ff17fc753b1b","datavalue":{"value":{"amount":"+0.7220131754875183","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":"Q914361$D18A80BD-1A0B-420F-BC39-8B468B0AA69F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Code selection by inversion of order-sorted derivors","badges":[]}}}}}