{"entities":{"Q5096190":{"pageid":7125766,"ns":120,"title":"Item:Q5096190","lastrevid":54382298,"modified":"2026-01-26T17:53:27Z","type":"item","id":"Q5096190","labels":{"en":{"language":"en","value":"Axiomatization of a functional logic language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7571971"}},"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":"Q5096190$67E4FC93-15F9-449D-AC70-4E3D3512682C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6aa951a2bc6f92f267af39e0a67aaaaf60bbe312","datavalue":{"value":{"text":"Axiomatization of a functional logic language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5096190$38CE5221-59FA-4085-9C85-5A29C112E053","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"874005366c2a07f1ac1d632b675d361096617ed0","datavalue":{"value":"1493.68055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096190$3B69350B-C98E-4AD8-AC6B-B03DCC525D5F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6a47128eb68892f8e9fd075561d3cc1fd33805a2","datavalue":{"value":"10.1007/3-540-53162-9_33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096190$8BF3BBFF-1F84-4E17-B460-A09A3A917B4F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"04f473127d5827a33db319a8a5b5ebee03345112","datavalue":{"value":{"entity-type":"item","numeric-id":1915130,"id":"Q1915130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096190$B4B18595-EB30-4CF0-B105-338D16AB5C95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0dd8979e1a685765dc1198ac350f0841f1b80717","datavalue":{"value":{"entity-type":"item","numeric-id":265825,"id":"Q265825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096190$0F0E4177-6BC8-446F-8056-F3B539149BD0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d5c924014210483b0d24cc4cb7a016c1f568a25c","datavalue":{"value":{"entity-type":"item","numeric-id":2956708,"id":"Q2956708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096190$8C0AE4D6-3530-46A7-8782-369A32ECA60C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f0638de14cb053deb57828797f5c127a478dbaa","datavalue":{"value":{"time":"+2022-08-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":"Q5096190$38A0CB69-4434-461D-82C5-D4FE137EB6F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096190$432FDFD4-8E67-402D-82B9-67C4A16C7164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096190$6A32DC10-1489-4F69-B559-3285FE9E8325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096190$9622ECB0-5ADA-4E15-9675-B3035FAA8B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096190$27125FCB-5E42-4A06-A70D-EDC04DBF648A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096190$F50F9799-6385-4D25-B3C2-D4D8BE94749B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ffa2af623fa77e6949431b1240ad0fec621d95d0","datavalue":{"value":"7571971","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096190$1F8187D0-8622-493C-8CA2-2FCA2784D523","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":"Q5096190$CE67D938-CBAE-4FE1-A46C-0791AD12C87F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4e0297f1887614de1f09ce274af8b9fbc117e304","datavalue":{"value":"https://doi.org/10.1007/3-540-53162-9_33","type":"string"},"datatype":"url"},"type":"statement","id":"Q5096190$7461C199-CC3F-4E14-A9AB-73D2652C3209","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"10164c7219174f13a8d99508fe216995756ec09b","datavalue":{"value":"W97144627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096190$CC59CCA1-B4D7-4BDA-AF37-205D016E6006","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"447367c00a6eb1910657a616a3f360216597f2d3","datavalue":{"value":{"entity-type":"item","numeric-id":1103365,"id":"Q1103365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096190$24D48720-E9F7-4B62-A811-0E806DFE8615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc37074100decec1567b589117b5998df7e079ec","datavalue":{"value":{"entity-type":"item","numeric-id":3667922,"id":"Q3667922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096190$6DF05E92-1403-489E-844D-DFB0B1B631B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6249290c793fa3d4c305541f1a11cd397a401609","datavalue":{"value":{"entity-type":"item","numeric-id":5902880,"id":"Q5902880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096190$FE09AA98-28DA-4E5D-8AD7-967D8F8AE18F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1b5e85d1f50fd2a63b0a375b06a97f407e50e99","datavalue":{"value":{"entity-type":"item","numeric-id":3765240,"id":"Q3765240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096190$F0D3FE8F-A050-410E-AFA2-8C9669B4B07A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"492dacf017bc8c443efd94eb6362baf8d702d298","datavalue":{"value":{"entity-type":"item","numeric-id":5799431,"id":"Q5799431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096190$FDC55BC7-3B0A-48C6-A66D-D156E4E5EB12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e9acb750b5a1fcf5fe08b591fc6df182dd9e5e0","datavalue":{"value":{"entity-type":"item","numeric-id":3883561,"id":"Q3883561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096190$C4C02EFE-3E64-48EA-BDF0-2B88C29E6B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5721c69a1fea95591b2353c2a947c998df08d0ca","datavalue":{"value":{"entity-type":"item","numeric-id":5582304,"id":"Q5582304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096190$E9886E84-D00A-4314-93E3-46BB95E1ADB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8976fb7acd9591ca35732b398875a45ad33b23a7","datavalue":{"value":{"entity-type":"item","numeric-id":3780494,"id":"Q3780494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096190$F527872F-2960-4AB0-99E9-2E3DDE7CA44D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a878e57b1e1389129c5180ce350c7ac75303d59","datavalue":{"value":{"entity-type":"item","numeric-id":5055734,"id":"Q5055734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096190$E0BA6BF3-CC5B-4174-9F95-0EA03DCD5C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"031d93ba0f0d59696b935bd9707e0c0dc3b5aa4f","datavalue":{"value":{"entity-type":"item","numeric-id":4050191,"id":"Q4050191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096190$7A8384A8-71CA-4D2F-9CED-2B7087B569B5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12632cfab228270d97fb94fd5e39565560f67e60","datavalue":{"value":{"entity-type":"item","numeric-id":3780494,"id":"Q3780494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f1dbfb67b8e4df7869f622764bce017216ca1b1","datavalue":{"value":{"amount":"+0.8071289658546448","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":"Q5096190$5028777E-A93E-4AE4-9781-65F6A400B5FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac3159e2d58dc5d61fccfc3fbf2d8dba1eca813f","datavalue":{"value":{"entity-type":"item","numeric-id":4494367,"id":"Q4494367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"021f29872ad92e4b496cfb4cddc1e379115e64bd","datavalue":{"value":{"amount":"+0.760460615158081","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":"Q5096190$1513454A-5A00-4F47-AF47-224C0EA2F5C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e36e30c473efe86fbb830e5ed990880d4f822f57","datavalue":{"value":{"entity-type":"item","numeric-id":1318281,"id":"Q1318281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efd3fbcd310fd3808a878a13e2d4fe56463a685a","datavalue":{"value":{"amount":"+0.7520908117294312","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":"Q5096190$EFCF060F-1FE5-4184-9681-3A27CB028108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58315503ea4ff1697f03525022a99647032bfefd","datavalue":{"value":{"entity-type":"item","numeric-id":3716279,"id":"Q3716279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07e390aeb96aff392bc04e2b657d22fbd523c62b","datavalue":{"value":{"amount":"+0.7512239217758179","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":"Q5096190$BD9A7982-33B0-422B-96D2-F802C6FA485F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bd77f0e0eed0334c292eae5acbefe4bb0f9dedb","datavalue":{"value":{"entity-type":"item","numeric-id":5053012,"id":"Q5053012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d5625096ac67a907bee421099925c6b89622539","datavalue":{"value":{"amount":"+0.7448002099990845","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":"Q5096190$872FDE7E-6AFC-4B34-A40C-B785B5A14E64","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5096190","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5096190"}}}}}