{"entities":{"Q5308018":{"pageid":7337592,"ns":120,"title":"Item:Q5308018","lastrevid":95931671,"modified":"2026-06-05T10:03:17Z","type":"item","id":"Q5308018","labels":{"en":{"language":"en","value":"Functional and Logic Programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5195842"}},"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":"Q5308018$2137DD89-00DA-41DC-BF8C-D0980A0E783C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0aab67902b28a5e045f38ffaf6b5f92eaca60a6a","datavalue":{"value":{"text":"Functional and Logic Programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5308018$E8AE5FAF-5B9D-4598-B238-A9B7992538A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d1551c09157ad3ab25b2270d830ce5a49532ca5c","datavalue":{"value":"1122.68379","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308018$15723EE5-FDD1-4909-9EC8-850DD9D1F08B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcc2863c41e44fb76b9a7066a084c23d0dfbbd3f","datavalue":{"value":{"entity-type":"item","numeric-id":1426865,"id":"Q1426865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5308018$A8A81B2E-F72D-4E47-A4BA-79338200FA29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3398e52dfa611cfbebe7884f888145f10a6bb45a","datavalue":{"value":{"entity-type":"item","numeric-id":294783,"id":"Q294783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5308018$E0F0FA67-61FC-4474-8FAC-180141B9B0F2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5308018$A3BEF011-1684-4BE1-8230-3C4AE0386FC0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6e1fa8a744de31aab5e0066db3d2fb556fbdf6da","datavalue":{"value":{"time":"+2007-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5308018$7D873F04-83D6-4982-8009-A1BD1D1170CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308018$148E7FD6-271D-4814-84E3-CC76841C0AFC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df73278579adaca79f0a13083a885de55b540007","datavalue":{"value":"5195842","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308018$033C33D2-EED4-4B9B-A760-08DB2F302E89","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d9a271776a9075dc205a70cafdbb0270002d5ac","datavalue":{"value":"Abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5308018$B4D3A2DB-03C1-4990-89D1-30BC92FA3C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16aa1db3101b83a25fff044a5115080fec2edf98","datavalue":{"value":"Backward analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5308018$6E424F7A-D6DA-40CE-93D5-258EBDDA8335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"945ebe56ef704b3872a1f108c1af17c6aa7c4d14","datavalue":{"value":"Pair-Sharing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5308018$F7CB7458-66DF-4616-B02C-01213241F537","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":"Q5308018$C7859B72-8FDD-433B-BBD0-0300E7941BB0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c01f8d341f70c476aab311eb797ad9c6a45f422f","datavalue":{"value":"https://doi.org/10.1007/b96926","type":"string"},"datatype":"url"},"type":"statement","id":"Q5308018$6A3C350C-2434-4001-9998-584DA20AEE48","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c30ec90fff6a758b088a799ded399c9df7c6c6fe","datavalue":{"value":"W2506581943","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308018$5B4CA313-921E-41DE-A672-7FC99F1402D2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"332860e9139d519bb4e6ef63072766bdc8e449c4","datavalue":{"value":"10.1007/B96926","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308018$D2196EA6-0D21-428D-B4A1-15814796D473","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b6c37bab9832d9dca238a682b7ad73aa261fdf6","datavalue":{"value":{"entity-type":"item","numeric-id":2996201,"id":"Q2996201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cd9daa0633e6a179a5afe45c91bf5792c7aa70e","datavalue":{"value":{"amount":"+0.7446608543395996","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":"Q5308018$372373C8-7009-4C66-99FE-3BFDCD33805C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9afecf6c784a092e71d2080522ae9c3914970c2","datavalue":{"value":{"entity-type":"item","numeric-id":5712547,"id":"Q5712547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3325078e9f0b2af3ebb54667a61648858bfcbef","datavalue":{"value":{"amount":"+0.7381917834281921","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":"Q5308018$F8D478F5-6F5A-41E3-9CE3-6B497AA94801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae07c276018e9993f0dfcbb420a8ac039c05bf5d","datavalue":{"value":{"entity-type":"item","numeric-id":5713949,"id":"Q5713949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eedcff626bf84f459787fa1ea87ba6e8c1931c4f","datavalue":{"value":{"amount":"+0.7190859913825989","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":"Q5308018$40B9E3A1-28FE-45DE-8BE3-F0B745FA03AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdb8d6871d3c42c79531f7b3d74821a42245b3aa","datavalue":{"value":{"entity-type":"item","numeric-id":4673538,"id":"Q4673538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b861353cd6e07d323557936d95ebee8a228aba57","datavalue":{"value":{"amount":"+0.7091031074523926","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":"Q5308018$03FC207F-0131-4D01-80C8-F4D7ABBB8F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45004830ca2ee24bc4ecdf6ea496b3520dd48c2a","datavalue":{"value":{"entity-type":"item","numeric-id":4452607,"id":"Q4452607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f46aa6e25a36e30ce16529d9a8758206f9bd3a9","datavalue":{"value":{"amount":"+0.7047786116600037","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":"Q5308018$BB5BFD07-A467-4D2E-A54C-7DEBDEB1B4EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Functional and Logic Programming (scientific article; zbMATH DE number 5195842)","badges":[]}}}}}