{"entities":{"Q1816918":{"pageid":1827660,"ns":120,"title":"Item:Q1816918","lastrevid":46462998,"modified":"2025-12-24T20:20:24Z","type":"item","id":"Q1816918","labels":{"en":{"language":"en","value":"Refinement of a typed WAM extension by polymorphic order-sorted types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 951637"}},"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":"Q1816918$F545652A-8723-488F-A2A1-418FC7532823","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3f1a7ab8057218a82d5eaa1264f2d34429f78b90","datavalue":{"value":{"text":"Refinement of a typed WAM extension by polymorphic order-sorted types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1816918$D532E5DE-D294-435A-A740-A57D4E24F069","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a1ca5a2701fc23d63c5149633f8b932fd6ff7f91","datavalue":{"value":"0876.68019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1816918$2BE6BB02-92FC-4F3C-B357-A21CDB3AC5F1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3c9a62651906880b3860d712f4ab5d1bbec1e333","datavalue":{"value":"10.1007/BF01211908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1816918$C2BA7855-37D2-4BC0-BBD6-C622DDE28D4A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1e134f54b434e40b1183bdd73e513d092e96978","datavalue":{"value":{"entity-type":"item","numeric-id":513342,"id":"Q513342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1816918$BE13A1B5-3277-4717-BC67-8634C98D51CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a00c4782e45b26bef58dbebc0beb0d7cb311ad83","datavalue":{"value":{"entity-type":"item","numeric-id":204637,"id":"Q204637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1816918$030EE4DE-7882-47FA-9C8A-21365136DA88","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1816918$8D05FC02-0D80-420E-A53B-41552F21B5CE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d8f57c2707c7d53eacf4022f5ee5ca93983fdb18","datavalue":{"value":{"time":"+1996-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1816918$DEF9C595-C332-4AD3-B64E-9EAE28313FFA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1816918$68339E75-381C-4339-88D5-5E93E4D9E2F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e404a63411717c6dbd9b7f3c6407256ae3e6827f","datavalue":{"value":"951637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1816918$FF89165C-33FB-4146-BA65-8693DA46FFDE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ae3f0d13ad92818eaf45462f9d67f2d319a5148","datavalue":{"value":"constraint logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1816918$40A5198A-7F52-4601-987A-007E644068AD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9e20956355840707a09bab57476353ae4e6e2458","datavalue":{"value":{"entity-type":"item","numeric-id":15414,"id":"Q15414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1816918$1774581D-A545-487A-A389-6A6BB0CECDA8","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":"Q1816918$C8921ADE-F4A3-4542-A50D-E4D421311309","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0892a679b5d2dd052919f376ed0cb31c6edf5202","datavalue":{"value":{"entity-type":"item","numeric-id":1815343,"id":"Q1815343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1816918$7E926143-8599-4AD0-95CF-C62682DC0E79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"412b478f1fcbf940d728f72dbda6f21dd7527f02","datavalue":{"value":{"entity-type":"item","numeric-id":4285642,"id":"Q4285642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1816918$7439A8F8-165F-47B8-97C1-FE177BC790F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce85ed64aa6e3bb3be37240176665ec5968eccf2","datavalue":{"value":{"entity-type":"item","numeric-id":4839029,"id":"Q4839029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1816918$2BA875C3-A9C3-45A6-8CEF-1BD341B7D47D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bcb10b2d0dc49c441c3a076bc96fb28fb02c90c","datavalue":{"value":{"entity-type":"item","numeric-id":1177936,"id":"Q1177936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1816918$198C8A93-C2DB-44B4-B361-98BE0C4F71BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15073390dd1260ee5e167563f0e9c459c4436960","datavalue":{"value":{"entity-type":"item","numeric-id":796313,"id":"Q796313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1816918$38F31248-7761-4D86-BDC3-2FD2B8A949D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bbeaee82e2d22dcbceca8a7a0c2001f5a8c9cd5","datavalue":{"value":{"entity-type":"item","numeric-id":3490936,"id":"Q3490936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1816918$580D22BF-C1D6-4015-9B7D-E92600E97A58","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c00cd534d29a3a967e7308d9760832f4df3ffe79","datavalue":{"value":{"entity-type":"item","numeric-id":1815343,"id":"Q1815343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf2f8a4bf0e7a5a27983162b3105e96a34ce0625","datavalue":{"value":{"amount":"+0.8732642531394958","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":"Q1816918$36622C98-8FAD-462E-8DA3-9508F4476A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f71daf96a532c3b59d50874185efe32426caf0db","datavalue":{"value":{"entity-type":"item","numeric-id":4202930,"id":"Q4202930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63bb76c8fee81584ea5be263a6a9bc735cdd2954","datavalue":{"value":{"amount":"+0.8633750677108765","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":"Q1816918$A627C1E8-8176-4C92-8DF1-1B4DA1A0DC9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63b0809e54fed160fe114b2ccd9aad791a79fe2a","datavalue":{"value":{"entity-type":"item","numeric-id":4285642,"id":"Q4285642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9550a039ada944e57eb3ad043e530d8ab9d05ae","datavalue":{"value":{"amount":"+0.8237386345863342","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":"Q1816918$21E00B6E-BCEC-4C0C-BD03-C8FB1D7E326B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1816918","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1816918"}}}}}