{"entities":{"Q2374302":{"pageid":2385045,"ns":120,"title":"Item:Q2374302","lastrevid":78608984,"modified":"2026-05-06T12:00:28Z","type":"item","id":"Q2374302","labels":{"en":{"language":"en","value":"Product programs and relational program logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6663637"}},"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":"Q2374302$CFA2852D-187B-43F7-B740-DFB7ACF63B58","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a3625cb5e93d318d9f3f58953c62ae06b4d70eed","datavalue":{"value":{"text":"Product programs and relational program logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2374302$9C1C2216-4274-41F9-B135-89F3534598B0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b06ec6c6eed4aff8300c66bed6431c373e207a9","datavalue":{"value":"1355.68047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2374302$4203814C-79DF-45FE-938F-02409A2D440E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df85df02f9f01c867f5b97dc99ba15582bedbdd2","datavalue":{"value":{"entity-type":"item","numeric-id":236461,"id":"Q236461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374302$14399EF1-02D8-42D1-BCA1-89417506DAD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd3e7effe093cda355e6b89f5d1d077014819669","datavalue":{"value":{"entity-type":"item","numeric-id":2374300,"id":"Q2374300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374302$3BB29769-C5A7-4063-918C-43E69DBEE6EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a1eb956d7abd22e275f97fbac2b0f89c31c8a45","datavalue":{"value":{"entity-type":"item","numeric-id":2374301,"id":"Q2374301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374302$305CFA9B-E3FD-4985-96CA-FA8CFA12BF93","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374302$F72F7CAE-B5CA-4FC3-A757-643B856BC11B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e3d1669fd63345cf64b2617c12ed41ffb07d8520","datavalue":{"value":{"time":"+2016-12-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2374302$13FECF33-3903-4574-9D35-D5D825D0477C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2374302$7518BCC3-C29D-4B8B-A250-E578BD1924D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2374302$46E21055-D830-4179-9A78-5BED2540E075","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4fe69d53ba159f2018281071426cabdd62568a56","datavalue":{"value":"6663637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2374302$0A1D6F64-15B7-4BA4-B7C6-6BD569B27FF7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4ba023c7f135ba18b22b41637860e39011205da1","datavalue":{"value":{"entity-type":"item","numeric-id":23300,"id":"Q23300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374302$61235C9B-A151-405C-AC4D-53551CD96A3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ce63d9106f2c1c934cab3902cda6a895f70e9488","datavalue":{"value":{"entity-type":"item","numeric-id":15060,"id":"Q15060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374302$7CE79C1D-6C37-4B64-9A32-F9F23206F02F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bed14e207a3e5d28b264f36a84b777589c129ee7","datavalue":{"value":{"entity-type":"item","numeric-id":25011,"id":"Q25011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374302$4D64A2C7-64BC-4B36-83E7-81261FB768EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dd73c0a588eca90d6b4027348c417905031d8d73","datavalue":{"value":{"entity-type":"item","numeric-id":33279,"id":"Q33279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374302$B706FCE3-81CA-465F-899B-8E220CBCC605","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":"Q2374302$A3DE64CF-E642-4F5E-8A5B-FF91A369547F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"129133441976ab1459e4e952b8511e9cbbae7c89","datavalue":{"value":"https://doi.org/10.1016/j.jlamp.2016.05.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q2374302$E58C053D-B48E-4BA9-B011-E6AB55A132A9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0abe5fc6342361c1df8f71fcc922d2d67607e562","datavalue":{"value":"W2472147697","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2374302$32EDABA9-6F4F-4A6F-9170-865F7589839C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ed56ca71244e05aaac2bba4f51079d01410063","datavalue":{"value":{"entity-type":"item","numeric-id":5348916,"id":"Q5348916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374302$6715C6F4-B44C-482F-A6B2-3168DD552AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba429b0799ed96e59e6785a29eaf897e38f647dc","datavalue":{"value":{"entity-type":"item","numeric-id":3922155,"id":"Q3922155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374302$A359DC9B-172D-4396-A2B8-E1210F27364F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3b3a3f4b3f44b312014bf38e16d46d1bd8aea8c","datavalue":{"value":{"entity-type":"item","numeric-id":5716568,"id":"Q5716568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374302$03702CBE-3409-476F-AE76-575C400DED45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890db7446e2310e3c1bd99c02cf47b64ec54941b","datavalue":{"value":{"entity-type":"item","numeric-id":3455833,"id":"Q3455833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374302$0B9D1AD7-E47F-4D66-A519-9CD8F839EC3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a486f6f61fd4d307e4fee9b67b4596eca0595e4","datavalue":{"value":{"entity-type":"item","numeric-id":3103613,"id":"Q3103613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374302$8F927999-E9DD-444D-A361-EDCF148554E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a83681413983b5c1cd346b7aeccc929ffc09104","datavalue":{"value":{"entity-type":"item","numeric-id":5408416,"id":"Q5408416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374302$5AF92E44-6F31-4272-B019-EFC3655DFA90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e02917c0db14ab53e8f4a4132ce95a65a648deb","datavalue":{"value":{"entity-type":"item","numeric-id":2819789,"id":"Q2819789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374302$97A7BAF8-02A7-47F5-8089-EB337DCFB165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba5ad8860e2dfafdd492a4ade42b23f462631c32","datavalue":{"value":{"entity-type":"item","numeric-id":5261508,"id":"Q5261508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374302$802EBFF3-3218-482B-A5FA-A544C50F31CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab64a8c9ac458e857c328e4205432fa6bbd6f59d","datavalue":{"value":{"entity-type":"item","numeric-id":2942860,"id":"Q2942860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374302$14EA439F-7953-4406-8FC1-6742A2A825E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"902d58911cf57d61e4e30d431d92c375a51f10b6","datavalue":{"value":{"entity-type":"item","numeric-id":3452246,"id":"Q3452246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374302$80B7BE41-17A4-4702-9D17-0DBB2AB5B04F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a8eda406b524bc7a8f585c46b182f9071cbe51a","datavalue":{"value":{"entity-type":"item","numeric-id":3087994,"id":"Q3087994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374302$83088D90-AC7E-44C1-B425-48F4075900BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf3bb057b1d8997c1b4ffe01d9dfc62c2e96e1f6","datavalue":{"value":{"entity-type":"item","numeric-id":5255062,"id":"Q5255062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374302$88C73C58-86CF-4F9C-9599-FE795010CA1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e55abaa567248a298d22e474159debbc488cee66","datavalue":{"value":{"entity-type":"item","numeric-id":5901226,"id":"Q5901226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374302$1AC71BA8-78B3-4905-8FD9-F0154D7DD1B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b718b3c28597e5e6f4f596a60845813367802e1","datavalue":{"value":{"entity-type":"item","numeric-id":1566911,"id":"Q1566911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374302$936F4A44-44F1-46FD-9CF2-1F9F6E7A6D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abf1b042c483ac33361ac24081db27c0fc28b774","datavalue":{"value":{"entity-type":"item","numeric-id":2870770,"id":"Q2870770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374302$93ED0818-ACE2-46CC-B2C6-158998CBA825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"635c32f054dbe1f1f21a3b02a893cd344b0e15de","datavalue":{"value":{"entity-type":"item","numeric-id":5897442,"id":"Q5897442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374302$68AB0ACA-9EF7-4690-8FDB-45B2FCEF5059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52cdb65d4484ce30066c940d4e4480dbbf233292","datavalue":{"value":{"entity-type":"item","numeric-id":879369,"id":"Q879369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374302$38C2E9BD-063A-472E-B8FB-A8B212FFB794","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"783814bb2a04d25f98a2be1accd81b1204dfe016","datavalue":{"value":"10.1016/J.JLAMP.2016.05.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2374302$FB96F743-E7B3-4046-9B2D-7CBFA5413B7B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94fcdb3fb79b452c963099673ae138310008b8c2","datavalue":{"value":{"entity-type":"item","numeric-id":3455833,"id":"Q3455833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc374cc63065fbf2d5519f5d1b4827c7dc4b9dea","datavalue":{"value":{"amount":"+0.8508692979812622","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":"Q2374302$251034AB-8B2D-44A1-9A6C-D0FE0AECC102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab751a4c310b5cd7a65ff31b5b7cdb6c1b5af8d9","datavalue":{"value":{"entity-type":"item","numeric-id":2323992,"id":"Q2323992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1620da09733ab2f7c7adc354540cbedd63ab1fbd","datavalue":{"value":{"amount":"+0.791348397731781","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":"Q2374302$6E9A2A94-937A-424F-A259-FDD68CE2A73C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2634e53a10156fa2b95632827a647b59604c0cf7","datavalue":{"value":{"entity-type":"item","numeric-id":4636558,"id":"Q4636558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d55c51fe8cf5856668251c6e225bc07abf30c59","datavalue":{"value":{"amount":"+0.7869994044303894","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":"Q2374302$D6A9043D-3DFD-4041-BED3-458D31BD3856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c2f0631fa32b108656d4c8b53fdcb7639691a12","datavalue":{"value":{"entity-type":"item","numeric-id":3392934,"id":"Q3392934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39c96786deb354ac63b74e8aca6a3859c5f3c26a","datavalue":{"value":{"amount":"+0.7355285286903381","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":"Q2374302$EBE2FDF4-0632-4F80-9B32-197C2265F1E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34a1f4c5fa531ec698fcffc162d27aff1d831ef8","datavalue":{"value":{"entity-type":"item","numeric-id":1703014,"id":"Q1703014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b552075137f9eb76534b62514a0f8ecb530e43c6","datavalue":{"value":{"amount":"+0.7353543639183044","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":"Q2374302$02DCBEF8-90DE-4565-BC87-98697CAF2EDD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Product programs and relational program logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Product_programs_and_relational_program_logics"}}}}}