{"entities":{"Q3079918":{"pageid":3090633,"ns":120,"title":"Item:Q3079918","lastrevid":51200078,"modified":"2026-01-17T05:12:48Z","type":"item","id":"Q3079918","labels":{"en":{"language":"en","value":"Combining logic programs and monadic second order logics by program transformation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5860257"}},"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":"Q3079918$1B8511BA-EF86-48FD-A516-79466528F3D5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f4545b663aa369e77d9be4eacae73ea22c53190f","datavalue":{"value":{"text":"Combining Logic Programs and Monadic Second Order Logics by Program Transformation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3079918$D44CBA51-BEFE-48AB-85A3-51A5C293CB6C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0cda9b7a7313107680c61654b8e9b15d3edc9661","datavalue":{"value":"1278.68049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079918$F2990B85-9808-42E7-BFC2-4D242004FCCA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"84379f365285127c88cbbb7f9244a5ae06e008da","datavalue":{"value":"10.1007/3-540-45013-0_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079918$BA41C5BD-919D-4286-B7BE-BD0708349BA6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ad0fb3e6789b1b1570ed736e8448792de0de85a","datavalue":{"value":{"entity-type":"item","numeric-id":1664382,"id":"Q1664382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3079918$6B890EB1-9F79-4975-950B-C4CEC675916F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a87226e249edb34abf2b072fcc5b9b500b03b478","datavalue":{"value":{"entity-type":"item","numeric-id":673495,"id":"Q673495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3079918$C3DF9731-8016-4BDF-AB13-B248AB5D015E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b380511e08624421de73be74130c083d2234aa7","datavalue":{"value":{"entity-type":"item","numeric-id":673494,"id":"Q673494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3079918$3B16D300-8209-429B-BC2A-B96B36FE7D0F","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":"Q3079918$B92EA663-0BBA-4CD0-8891-69D76C191E65","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aaeaed951fddecc25ccb3e6e454be3a7c14119bf","datavalue":{"value":{"time":"+2011-03-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3079918$1A9F15C6-FC65-414C-8209-A7322BC6FE82","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079918$535E627B-A8E3-46DF-AAFE-D648BCF511A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079918$9E905A0E-BDAF-4FBE-A14A-0BB67685F220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079918$A6A06D48-9377-41DA-9EA2-8EAB99E1AB6C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1844fd0c314c3fd41e04fe7d7c2939fabeff7a2d","datavalue":{"value":"5860257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079918$DD038EC3-525A-4345-8A93-3D1D52DE1B83","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9e3f84d9812dbe2b9f43d05f4bc1fc3ce47540e4","datavalue":{"value":{"entity-type":"item","numeric-id":18304,"id":"Q18304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3079918$15728076-0047-4525-9183-F9607E3E8EF7","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":"Q3079918$54CB75E4-F54F-467D-9A46-E045A5E795D9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b83feb8a9a4fd0a29472841ab246d4f1ad297213","datavalue":{"value":"https://doi.org/10.1007/3-540-45013-0_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q3079918$1DD876CE-8DCB-43CF-80D5-2913E80A7585","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ceddcd908ba6e109275874508f2abeb469cb7240","datavalue":{"value":"W1746918808","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079918$F4CE386C-6D66-4F76-8866-995D32989BE4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc5ec45cd783268f4a3421b25f46f7d2ad5f8af7","datavalue":{"value":{"entity-type":"item","numeric-id":1314418,"id":"Q1314418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ac571b63e1e607e147270c2d0a685564464bbff","datavalue":{"value":{"amount":"+0.788417637348175","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":"Q3079918$39325E4B-0F49-4A9E-AAB9-FEBCB677D191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3e640e0b096b62fb7b7b757a42951d65f787da9","datavalue":{"value":{"entity-type":"item","numeric-id":5688888,"id":"Q5688888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"977543185ac18c27f31dc278ef416209b1428512","datavalue":{"value":{"amount":"+0.7882553935050964","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":"Q3079918$1EA3F81B-D89F-4CE4-95CA-8048B11C5AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db798162da9c996084b740456339b092a7fda2da","datavalue":{"value":{"entity-type":"item","numeric-id":4939537,"id":"Q4939537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5aacdaed0ed5dd0d621522a4f7b68780ff7231b","datavalue":{"value":{"amount":"+0.7832642197608948","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":"Q3079918$671886C2-BBAB-4CD5-BDB9-23FB93A35921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"777f55259265d39eaf05a79b5fed4c61c5c106ed","datavalue":{"value":{"entity-type":"item","numeric-id":2629858,"id":"Q2629858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4187c57b14848920189bde0ce163b273b1569a1c","datavalue":{"value":{"amount":"+0.781498372554779","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":"Q3079918$CBDDE8C4-05DC-481E-A34B-34E75A21D3AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1c02e3149e1e8373cebee18739c84d5d205337c","datavalue":{"value":{"entity-type":"item","numeric-id":3585155,"id":"Q3585155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"616ac68507b236d31574f40502c314bafa453b4c","datavalue":{"value":{"amount":"+0.7763828039169312","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":"Q3079918$5263DB33-3433-4D4C-B961-C92F719F940A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3079918","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3079918"}}}}}