{"entities":{"Q2848908":{"pageid":2859628,"ns":120,"title":"Item:Q2848908","lastrevid":51823304,"modified":"2026-01-20T05:38:13Z","type":"item","id":"Q2848908","labels":{"en":{"language":"en","value":"Proving properties of co-logic programs with negation by program transformations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6208077"}},"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":"Q2848908$03B3212E-9BC2-4F1C-8185-47129F62F152","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad7c8f41ef79cf53152a65ea71b38f8712b87eb8","datavalue":{"value":{"text":"Proving Properties of Co-logic Programs with Negation by Program Transformations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2848908$C9767B66-CA48-4A68-8AD6-EA03258B960F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7da47be2add1615e7cfe879eb04414cd8e58433e","datavalue":{"value":"1394.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848908$004F0CA9-38E8-47E8-B5C8-F24E0D812678","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9337795c5d69a76ff1b66583a1309f9c415a56e1","datavalue":{"value":"10.1007/978-3-642-38197-3_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848908$D4F8024E-1021-4EF3-88B7-BFC73CE05DA9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a32b8a393a965407422b1e26ed1865f6e692ad3","datavalue":{"value":{"entity-type":"item","numeric-id":1075754,"id":"Q1075754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848908$BA1A394A-99B2-4683-B170-B9BCDF635587","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"adb24e8791ad8d605f348f62fef07af498b65f70","datavalue":{"value":{"entity-type":"item","numeric-id":2848891,"id":"Q2848891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848908$D9E4E7B6-435B-4AC4-9982-3B241EBFF4B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3756c0dd48f1ac2a2472fe44a850976017bd3fa9","datavalue":{"value":{"time":"+2013-09-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2848908$7FEE612B-0843-4A65-8DAC-04D4B0543E63","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848908$0C167B7D-AB67-407D-BFD5-69128B780F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848908$69DC334D-7C9A-4499-9FB6-DDE506BCB682","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f61e18e9695b45a87cebb6e3fd92b0c1577195e","datavalue":{"value":"6208077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848908$368DEA96-5A14-4E6B-9F31-404017D41641","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":"Q2848908$6A8D9662-DD88-4E30-9F94-B9A314343E05","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3063059768ee283dd9291689b43082e887126c69","datavalue":{"value":"https://doi.org/10.1007/978-3-642-38197-3_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q2848908$FB2A9ED5-BCF4-499E-8941-51B5BB8D4A69","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4180955addbf93e8122f89b52eb4ba2bd9a34e7f","datavalue":{"value":"W64077253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848908$A917C6A3-E49B-4C79-8E24-3EFE3951F032","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b64c53daeb5a09ca5f0f9b43e9c71ccc29bd6941","datavalue":{"value":{"entity-type":"item","numeric-id":4909325,"id":"Q4909325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1b9f73661ee375c1703a41d11a4cc8e82384b1d","datavalue":{"value":{"amount":"+0.8635607361793518","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":"Q2848908$DDB0E6E1-C1B4-4352-BC20-BBA51F0C0CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a21cad672a3c82abc7de3f64ada1ac3de364fa9","datavalue":{"value":{"entity-type":"item","numeric-id":2628297,"id":"Q2628297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ec357995b4ffb83ca830a74d83fc3c03935310c","datavalue":{"value":{"amount":"+0.8002126216888428","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":"Q2848908$26FEAE73-B8AC-4477-8250-1000E2947A19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6e22912411c2c27705ce0376f7e5d1d047d74fc","datavalue":{"value":{"entity-type":"item","numeric-id":3558288,"id":"Q3558288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b560cd6bb5d71f4c547f32ef898db8a4ac9ad39","datavalue":{"value":{"amount":"+0.7930386066436768","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":"Q2848908$36673B27-B16E-4EDD-86B5-BA4ED1769C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f738bd16a6067c0fa362e786697f040ca9f2a517","datavalue":{"value":{"entity-type":"item","numeric-id":5743583,"id":"Q5743583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6462a94a2f26d3c12dc197dbcdc5fc8cd026b4d1","datavalue":{"value":{"amount":"+0.7741641998291016","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":"Q2848908$33E4978A-5CED-4387-9D36-07613288781E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3787ad3478bad3924ad5df77a1e67d01cc536ffb","datavalue":{"value":{"entity-type":"item","numeric-id":3558289,"id":"Q3558289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a08a7a1451a53402c81b471e4c90520f539ebae","datavalue":{"value":{"amount":"+0.7727807760238647","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":"Q2848908$07A981F0-D265-4D20-A7AF-0BD8A25561CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2848908","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2848908"}}}}}