{"entities":{"Q5097633":{"pageid":7127209,"ns":120,"title":"Item:Q5097633","lastrevid":54387815,"modified":"2026-01-26T18:04:31Z","type":"item","id":"Q5097633","labels":{"en":{"language":"en","value":"An integrated approach to assertion-based random testing in Prolog"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7576126"}},"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":"Q5097633$97B59FF0-E776-4AC5-AA61-FB527365EC84","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"91defdaac51092c43cdf2b0da791871f14b0de58","datavalue":{"value":{"text":"An Integrated Approach to Assertion-Based Random Testing in Prolog","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5097633$67BD74AD-3B5B-401E-9120-152AAAEABA84","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a106672d75ef069ac12e53f7aa1197be5fd852e","datavalue":{"value":"1502.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5097633$A8FD3963-95A5-4278-95DE-98D338E0C2B0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5617de9c1c8f98fc31b680083e4bcc2eb9b6d92c","datavalue":{"value":"10.1007/978-3-030-45260-5_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5097633$DC3002A0-5FAA-42FC-A3F2-6FB19E869ED1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a82627690f202be7f48046ec779d117492dfcafd","datavalue":{"value":{"entity-type":"item","numeric-id":2119120,"id":"Q2119120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097633$21AF325F-9A4A-4152-A2F7-860757A28FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99814c61bccc39874951144e5bdc5c470edc619b","datavalue":{"value":{"entity-type":"item","numeric-id":980468,"id":"Q980468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097633$32917D33-582B-4604-94D1-5F6F324CFF3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fdc9da9080ec9c8e10fd6ecc20006e9734d7d9e","datavalue":{"value":{"entity-type":"item","numeric-id":488323,"id":"Q488323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097633$ABE32F2F-ECD7-4232-A5C8-3A8C7CF7E49F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"379177518bf56ec7a1b993b30de89b6a25bfe955","datavalue":{"value":{"entity-type":"item","numeric-id":737625,"id":"Q737625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097633$7EB26F44-88A9-471C-8829-3F898DF51331","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":"Q5097633$21DC8638-FC1E-4E76-8B36-EFF20D7874B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1671f4d77625f9c3fb2d471bd3f2c3e84e79d65e","datavalue":{"value":{"time":"+2022-08-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5097633$861CD133-F7CF-4F7B-A95E-432DE3C337DE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a211e2b9e9aaa4ef3dfa8f4769472ea420a2b8be","datavalue":{"value":"http://oa.upm.es/62526/","type":"string"},"datatype":"url"},"type":"statement","id":"Q5097633$8C5ACB4C-DB54-4EEA-95E0-3B8B17E7A3CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5097633$FC3D4213-9011-4A21-B66D-61FA731D33A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3895d2f1a3b9e06223e8be22b8163ffd6bef0a25","datavalue":{"value":"7576126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5097633$EB36B670-D480-4188-A1C0-7C23C5F801B7","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":"Q5097633$C25CBBB8-C8E2-4BAA-B157-C7B563192228","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3074c7fa8fa1545665011da6344d9847d8af9218","datavalue":{"value":"W3018173417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5097633$68BDAF27-2A56-41C7-BDBA-EDF0954169AE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"af25c1afcb0304276ab23b3647d0be676759ab65","datavalue":{"value":{"entity-type":"item","numeric-id":5348927,"id":"Q5348927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097633$9D483EB9-ED04-438F-9785-8F7305D01B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3757fed55592ff85655fe1236c4dba626f6f848","datavalue":{"value":{"entity-type":"item","numeric-id":3585175,"id":"Q3585175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097633$D8C16A87-52E9-453B-8C73-6AE1ECEEC2BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e486bedcc3c88cc99254f6b54e366391497d8a42","datavalue":{"value":{"entity-type":"item","numeric-id":2409738,"id":"Q2409738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097633$D78F943A-FA8D-4088-A4BA-D6BC3B646155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"445ffe708f46664a7fb3c95abfc0aea70b84e1a2","datavalue":{"value":{"entity-type":"item","numeric-id":2893101,"id":"Q2893101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097633$9C147282-8235-4CB9-AC52-62A93CD48AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8567e612fefba6e9cf7726613fab44bab80fdfa","datavalue":{"value":{"entity-type":"item","numeric-id":4702568,"id":"Q4702568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097633$5B83B7F6-85C6-4ACE-A314-52B7A7ACE3B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fa0f50f9e079e80672ae8d0c1e92d01238bcc7e","datavalue":{"value":{"entity-type":"item","numeric-id":2568449,"id":"Q2568449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097633$1BA428AC-C493-45B6-94CF-6DDB13C90AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eef435db185a1a8a8686ac2c0b46ac5df2578467","datavalue":{"value":{"entity-type":"item","numeric-id":2723933,"id":"Q2723933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097633$39AFCB43-75BE-4435-BD33-48545B644887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae31cbd107a3fff045ec3ec6d0a2471856019d7","datavalue":{"value":{"entity-type":"item","numeric-id":2819802,"id":"Q2819802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097633$9222DEFA-BB21-41F6-A872-E4FA5873F307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8867b942c08e01a2903c6e52a83c23eab812fc76","datavalue":{"value":{"entity-type":"item","numeric-id":2441515,"id":"Q2441515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097633$249288E7-7D02-44AD-B13D-53A83177A82F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78e6e8108331c8375352a17642573df4359779c5","datavalue":{"value":{"entity-type":"item","numeric-id":3485855,"id":"Q3485855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e435000f447b866f10b52a9ad4af2f34e6923a0","datavalue":{"value":{"amount":"+0.7712008357048035","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":"Q5097633$30FFDCE0-B4F0-4D98-A2FD-657B8A33DCFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1aeee2db15961eef075132d23abc589cc29e4390","datavalue":{"value":{"entity-type":"item","numeric-id":2401939,"id":"Q2401939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dcad9c79f0017fc18b16cd0a5b505f2cd95aee0","datavalue":{"value":{"amount":"+0.7380528450012207","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":"Q5097633$8CCCA430-1BC9-41F9-8260-B6559F08FE64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13fbe7ce758dee5db32ee750644842cf5b4283ef","datavalue":{"value":{"entity-type":"item","numeric-id":2723933,"id":"Q2723933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"274b9f011d65cf8c2488a47d78d45b71c4dc0d5b","datavalue":{"value":{"amount":"+0.7141191363334656","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":"Q5097633$E335B0AF-9DD3-4C71-A07A-A61D01713082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b91568383a6132c92722450e4b47dfd3a8b4f91c","datavalue":{"value":{"entity-type":"item","numeric-id":3498435,"id":"Q3498435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0cf84a3115ae79aa989323669d76d5b8a2e67e2","datavalue":{"value":{"amount":"+0.7113184332847595","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":"Q5097633$16932742-EA29-4425-943A-C7004D0F7401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c4e75fd6a7a667c878559547437708d6953acf8","datavalue":{"value":{"entity-type":"item","numeric-id":4702568,"id":"Q4702568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96e55beb746a821dd68725c5d5b57fa9d268443c","datavalue":{"value":{"amount":"+0.7056834697723389","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":"Q5097633$5318F431-AB4C-43F6-89EC-A8B8E27AFB0B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5097633","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5097633"}}}}}