{"entities":{"Q4286208":{"pageid":6315809,"ns":120,"title":"Item:Q4286208","lastrevid":41129565,"modified":"2025-04-18T10:15:09Z","type":"item","id":"Q4286208","labels":{"en":{"language":"en","value":"Modelling Prolog Control"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 540327"}},"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":"Q4286208$1D450245-CE46-4D79-9ED2-0C8617597113","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab10ebc27be969660da4847a9633da90d71e97ee","datavalue":{"value":{"text":"Modelling Prolog Control","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4286208$53B58B9B-981B-471F-B9C9-BCD971EA9DF0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"68fc55e8bd7eeffed3438d7c8b456bb7199b5d2c","datavalue":{"value":"0802.68026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4286208$274FE123-78E3-4915-8EAB-B3E1C5BE4BAF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ede3fafe483c29884e9afb23f7dfc1d9bca1147","datavalue":{"value":{"entity-type":"item","numeric-id":264545,"id":"Q264545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4286208$633EA0EA-28F5-47E6-AC19-F804C20AC8A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"97931dbd51a6e915b5cab2b02cecf55ce08aab9c","datavalue":{"value":{"entity-type":"item","numeric-id":340572,"id":"Q340572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4286208$B81A900C-AC35-47EA-AC8C-4AE8A0E355AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ffbc2222258f7a4fa78be49047dfe2a14b0df82","datavalue":{"value":{"entity-type":"item","numeric-id":511010,"id":"Q511010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4286208$3723CF39-C473-4874-87C9-2075AF2F3365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5e5a5ffda3b91beac514a35e59d9924cc050864","datavalue":{"value":{"entity-type":"item","numeric-id":915475,"id":"Q915475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4286208$8D9CDAB2-4A38-429A-9299-A194A62D6B0A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2ff807ad8f5a0fb377ff80be6081b48f28988df","datavalue":{"value":{"time":"+1994-03-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":"Q4286208$B79496D6-70F3-4F66-9A4A-507E35BC9DF9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6b3daa3767ef994beb11b02a08ba61231254bc82","datavalue":{"value":"https://semanticscholar.org/paper/a639097b26fe7d66621c221c1f03d045ea00cb41","type":"string"},"datatype":"url"},"type":"statement","id":"Q4286208$A7C68276-35A2-4338-9AC6-3AB6EA47DA28","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4286208$4F3D741D-F620-4E16-962F-461C51E9FE9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4286208$B8CAE5C7-542E-41A1-94ED-63D13608B912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4286208$16631F95-9696-4335-9F3F-F3593BE3F4D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"851879cc3090e9da33c487787f8e58bf62663049","datavalue":{"value":"540327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4286208$D00DD5E8-7046-445F-9729-4EFED2062970","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4286208$4DA47986-7ED7-4CEE-AE22-0A17E64B819D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4286208$24A30024-DF6C-4044-ACFD-2F28ECEE1CCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4286208$99C3C79F-185C-477A-ADF9-817DB2718C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afd5f68c909b32d15246ca3700d59872a7aa7bdc","datavalue":{"value":"Prolog programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4286208$71C2CDEE-5355-4500-BB3F-B46D818B6DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4286208$D4E9DB19-748A-4B86-9CF9-5E30F85E353D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4286208$EC1EECEF-2AE9-4E7D-9E26-0D918697AC8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea2c23285ea4b73fe89941dd1245c610af5fbadc","datavalue":{"value":"declarative semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4286208$AE6A2120-27DD-4055-BC91-6AB146B5A148","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":"Q4286208$C5B63963-FC4F-454C-9FB2-E81E8A480480","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f237dd514c663521db50b5f214a8768fd71a3917","datavalue":{"value":"W2091757904","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4286208$5ADE623F-19E6-4C06-AC29-671473D5BD46","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"35735ad7e63a0117e95e133feabbe8ed818fdd06","datavalue":{"value":"10.1093/LOGCOM/3.6.579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4286208$3D37A55A-ED54-471D-BC9A-6DA69040DFF3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fc60b996e2de68d4c997a1a1f6687d980bd17bd","datavalue":{"value":{"entity-type":"item","numeric-id":3809307,"id":"Q3809307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16c6817f6342e7bb3a5068f0969ba728c86e4fa2","datavalue":{"value":{"amount":"+0.9143506","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4286208$0881ACAF-2137-474A-A34A-6233EB04C38D","rank":"normal"},{"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":"6cf31d63216bc252305920da1e7a81b3dc222806","datavalue":{"value":{"amount":"+0.88112366","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4286208$3D1F8E94-A568-423E-8388-A51D1793BF17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fac26d21a3357df5331dbf0221a0bf487448a269","datavalue":{"value":{"entity-type":"item","numeric-id":3694654,"id":"Q3694654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a751ec3ce14ed142ebb02b66a2cfeaf9d732d20","datavalue":{"value":{"amount":"+0.86226225","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4286208$0E6CB6BE-672B-4529-B5AF-40F19C171874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdde222631aa9c48afd22c0223f830ccff0bcb4f","datavalue":{"value":{"entity-type":"item","numeric-id":4728222,"id":"Q4728222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"250dee3288067513100080a833908b97bce13349","datavalue":{"value":{"amount":"+0.86060774","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4286208$D7597072-B308-4A38-A6B8-2668A130BAF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e190b4c6ff4a9f04b7815a79896291c8f3a8a82e","datavalue":{"value":{"entity-type":"item","numeric-id":4251196,"id":"Q4251196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaf2e1b40f6e1e0ee3f9c5bc91328b25d560055e","datavalue":{"value":{"amount":"+0.8588665","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4286208$181910C1-414F-4B67-9053-02E780EC8E8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"295d836d4e479dfc5d7d71cae19eef575560cbb3","datavalue":{"value":{"entity-type":"item","numeric-id":4513579,"id":"Q4513579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"270e2d9d7bed6d4cd1afd2af96bf5ddf88e03728","datavalue":{"value":{"amount":"+0.8552292","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4286208$24FB14B0-2421-43AB-9C73-F7B724609304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0afe8d9af3fe86236f4d5643ef290dca0e0fdb5f","datavalue":{"value":{"entity-type":"item","numeric-id":3197303,"id":"Q3197303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4853d01984cd53dd8fd1a5055cad9b2f06134e2f","datavalue":{"value":{"amount":"+0.8522774","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4286208$CD9AFA97-A721-43C6-818F-FD85E348C368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96303e15aad9a5c773466bec0e94d391e2abd575","datavalue":{"value":{"entity-type":"item","numeric-id":1082058,"id":"Q1082058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdce25d32582ebab3a6ff449fd41c5acb0ef9db9","datavalue":{"value":{"amount":"+0.8515012","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4286208$9BE20095-2187-4059-B260-6C9E2EEA3628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c341bf1d3870c82e47645f91cdc493dbde7b6c2","datavalue":{"value":{"entity-type":"item","numeric-id":4856950,"id":"Q4856950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"312ceec79af33b124eb3bedf9755895e6fc136a6","datavalue":{"value":{"amount":"+0.850346","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4286208$F1367C77-71EC-4B18-88D0-9039D73FCAC1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4286208$795480C1-F7FB-438D-AE0D-E22C007C5228","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4286208","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4286208"}}}}}