{"entities":{"Q5302884":{"pageid":7332458,"ns":120,"title":"Item:Q5302884","lastrevid":50539181,"modified":"2026-01-14T08:21:35Z","type":"item","id":"Q5302884","labels":{"en":{"language":"en","value":"A Transformational Semantics of Static Embedded Implications of Normal Logic Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5491966"}},"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":"Q5302884$F21F5AB6-8ECB-4ADE-9CB1-8B8FDB4F182B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b379232b6b71bf4ba9f32a2bffba121b42093bc4","datavalue":{"value":{"text":"A Transformational Semantics of Static Embedded Implications of Normal Logic Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5302884$563F7F64-B138-4B2E-8436-21895CF60688","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2779fb0f1d14662acbbc55647b5e4b6c2c240a0a","datavalue":{"value":"1156.68329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302884$04DEC3C0-79D3-48B8-A719-983B821C9CF0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"291a8d7bcf9c65bc062759083cf50dbc9ca46235","datavalue":{"value":"10.1007/11680093_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302884$1D2F1D9E-726F-4F18-A418-63BECE98FE03","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a20405a3678f6824e04657ca4272053f1a25de89","datavalue":{"value":{"entity-type":"item","numeric-id":444362,"id":"Q444362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5302884$5AF3C69B-A990-4E16-9DBE-15D00242B249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"874a476e6716f6cd8f170e2420dcab2786650206","datavalue":{"value":{"entity-type":"item","numeric-id":347378,"id":"Q347378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5302884$8A752D88-0425-41A2-888A-0D6CEAD0E082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"acb520baf4553e5f2bda3f04d79076458155f33c","datavalue":{"value":{"entity-type":"item","numeric-id":444363,"id":"Q444363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5302884$14A3ABCA-61B1-4615-9220-2911287FC355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ed55229bd3e6c069ce7f99b0f19bc30ef1facc7","datavalue":{"value":{"entity-type":"item","numeric-id":352973,"id":"Q352973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5302884$F9F4DD09-D5FF-4E9D-8C43-1422862443BD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b30e253b497c9ae83eb323a9f6b0623853ce927","datavalue":{"value":{"entity-type":"item","numeric-id":3079910,"id":"Q3079910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5302884$259F3DE1-F700-47E8-B4BD-945FF32C8C93","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7e26e6c2a83c3157baf46ffe4a8d556736cf88fe","datavalue":{"value":{"time":"+2009-01-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":"Q5302884$419386BE-A76B-4A77-A94C-23D2EB1971FF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302884$FF8CE95D-AEAE-4875-9418-5C6D321B0B59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302884$8A9F9F9C-C5EA-40CE-B79C-82A1BFD49951","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76cf424b47f6cd859123e2f290c65b3121a623ce","datavalue":{"value":"5491966","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302884$6F7B3AD7-B906-4C28-894E-6233559B62FA","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":"Q5302884$3C73AF61-7AA1-48D5-8C59-EFCC110B9D54","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c6c4aef3a39a3d47e847b6a179fe57004eff57cf","datavalue":{"value":"https://doi.org/10.1007/11680093_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q5302884$9F625DB3-AE25-4E48-B385-5865B9DAEEE7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"acd62bad1ada316c140f0bdf4c9e7c3d18653461","datavalue":{"value":"W1552969790","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302884$178520D0-E2CA-4194-A34C-2D1B6AE4EA78","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd2a7d56ed06b09dea103b54b96ea3cf22f0490d","datavalue":{"value":{"entity-type":"item","numeric-id":444364,"id":"Q444364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0965c3b87e15cd489368b3ab67fce3ea4d5499c8","datavalue":{"value":{"amount":"+0.8990523815155029","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":"Q5302884$675DC9E5-BEC3-42E2-AF90-B1EE940AE265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64893fd7817130b751cab4c3c0f03cd5b2b86a83","datavalue":{"value":{"entity-type":"item","numeric-id":4260700,"id":"Q4260700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ace2a06bcbc225f0e7209c1ce1fd899d64bc512","datavalue":{"value":{"amount":"+0.8214887380599976","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":"Q5302884$0565406F-65EE-4E0F-AD80-32D0979BB8C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaab221190e8c494b356f29854597b22bbe98581","datavalue":{"value":{"entity-type":"item","numeric-id":4736517,"id":"Q4736517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cebe7dd8dd63e992ceb9844389f991d291dab0f0","datavalue":{"value":{"amount":"+0.8182310461997986","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":"Q5302884$F3DFC083-329B-42B5-AFB9-F717DD47C465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24d9cd102feb4f22b67cf158fa4fad20c02b29ed","datavalue":{"value":{"entity-type":"item","numeric-id":4311648,"id":"Q4311648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b1dd0af58910cea1b833829b2bc3f8846f4d8bd","datavalue":{"value":{"amount":"+0.7910839319229126","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":"Q5302884$EBB595FB-A097-4295-BBA2-79D9AFC1EABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d186ef321d1685a57d306478dff316330dde914","datavalue":{"value":{"entity-type":"item","numeric-id":1186427,"id":"Q1186427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc4e386131dcf01609c5dfb9371b4e9ce7a1868f","datavalue":{"value":{"amount":"+0.7786194682121277","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":"Q5302884$AE36EE29-9AEC-4758-B597-CA5B90D17CF2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5302884","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5302884"}}}}}