{"entities":{"Q4520831":{"pageid":6550424,"ns":120,"title":"Item:Q4520831","lastrevid":47548288,"modified":"2026-01-02T01:22:35Z","type":"item","id":"Q4520831","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1543356"}},"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":"Q4520831$19457574-27A9-482B-98A4-44446F3E4B43","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b5214d425f3de2d21cef21830e590397172abe4","datavalue":{"value":"0960.68020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4520831$C5D1FE17-596C-4399-8BE6-C4D53BADC27F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"376e78cde287e9508ec1f710055bd22af1068cee","datavalue":{"value":{"entity-type":"item","numeric-id":4421870,"id":"Q4421870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4520831$5AF0E867-A203-45FC-B9AE-3651AD299614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ef33160335ba19f72216cd4125446f3f5ee7284","datavalue":{"value":{"entity-type":"item","numeric-id":1816919,"id":"Q1816919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4520831$B3350391-9937-4C83-B2B0-EE822E1FD368","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d02d8cc00f12eca67af7a2b878da9d104452f1b","datavalue":{"value":{"time":"+2001-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4520831$36DA4A6D-1E35-48CB-A30D-B113D55EE787","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"523edbdd3bbe9f2527ab4862df04345ed55b185f","datavalue":{"value":"http://www.jucs.org/jucs_6_4/functional_reading_of_logic","type":"string"},"datatype":"url"},"type":"statement","id":"Q4520831$F668C5AD-12CF-4A1E-BE33-6AC4D60AC225","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4520831$150C562B-D840-4AAE-8DE5-D98441E44B79","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"175cd2925f6cbd21116d0236962fdb9e4a998c32","datavalue":{"value":"1543356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4520831$89A4CC3F-5D9F-482F-A7EF-763689F1BC36","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eeac0ae93b70af3d99246c4cf79ae4a7f369e696","datavalue":{"value":"Prolog program","type":"string"},"datatype":"string"},"type":"statement","id":"Q4520831$DE674836-3F99-42BC-BE73-38D94E68350B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23048c100caf454defb1d4fe63f7d0dd075f3c68","datavalue":{"value":"Haskell function","type":"string"},"datatype":"string"},"type":"statement","id":"Q4520831$B495810B-DACE-46C1-B70E-45EEFAC777DC","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":"Q4520831$32CE9C2D-C419-41D5-A5A0-5C3EFA23DEF8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec3f64816d3b613233bc088a8dcf6aeead9b9001","datavalue":{"value":{"entity-type":"item","numeric-id":5249252,"id":"Q5249252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84e915c081de82adfd98e041d68dcb1611442efb","datavalue":{"value":{"amount":"+0.7712820768356323","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":"Q4520831$6320AE65-9CCB-4625-B089-63385A26EC7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ac3720773b6dd494b57c873a5cb4b5967cdf6f5","datavalue":{"value":{"entity-type":"item","numeric-id":3738543,"id":"Q3738543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f866db9303c506f88c5e36db0234bf2318482d9c","datavalue":{"value":{"amount":"+0.7473070025444031","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":"Q4520831$95F8E7B5-D81C-4976-97F3-08164C28B71B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92a6fe46b96ac81cfa8651c6499c0ba3defbd96a","datavalue":{"value":{"entity-type":"item","numeric-id":3003513,"id":"Q3003513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae08f095db4a1ad876990fc55fbd8ba150defa20","datavalue":{"value":{"amount":"+0.7349329590797424","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":"Q4520831$89991857-58B4-46C0-B03E-85F4415764B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d55ad03b87800371cbf8386af8d2c75d1d5f158","datavalue":{"value":{"entity-type":"item","numeric-id":2871855,"id":"Q2871855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8dd3fc888be10884424927d41c9746bd1808ca2","datavalue":{"value":{"amount":"+0.7335724234580994","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":"Q4520831$70256F2A-BB12-4C41-AE89-64DA6083D9B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c306bc7226e8b8e3216bb63031d5e1e812b0b414","datavalue":{"value":{"entity-type":"item","numeric-id":2766774,"id":"Q2766774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5ff18d7cccad9df2e5dba1531809af2faa008ee","datavalue":{"value":{"amount":"+0.7335066199302673","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":"Q4520831$2D18EAAB-4C63-4D5D-AFD8-5E9C6366ADC8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4520831","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4520831"}}}}}