{"entities":{"Q1687733":{"pageid":1698474,"ns":120,"title":"Item:Q1687733","lastrevid":71999754,"modified":"2026-04-14T01:59:32Z","type":"item","id":"Q1687733","labels":{"en":{"language":"en","value":"Certifying standard and stratified Datalog inference engines in SSReflect"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6821851"}},"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":"Q1687733$4117E7BC-DD76-475D-B006-6D2ADF542D11","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4f0edf5c4394be26f2c641e06ad71ef59762b977","datavalue":{"value":{"text":"Certifying standard and stratified Datalog inference engines in SSReflect","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1687733$AB2BD936-CF7B-479A-999B-C977B3BE151D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7be228c87fb65eef7396c88bb5c9c70b1ff23fe9","datavalue":{"value":"1483.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687733$EDE376D8-717B-4B60-B7CA-BC3F21BEC052","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"055b9f0beaa4f2e754e0f938d8c3f9d22a22da33","datavalue":{"value":"10.1007/978-3-319-66107-0_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687733$223A6D7E-799A-4458-9F40-F9D6CF6B5B04","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"385d2c324a3558e57cf8738beb99a6c61eee2c64","datavalue":{"value":{"entity-type":"item","numeric-id":1687730,"id":"Q1687730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687733$12931808-5413-47C6-B46D-3465245A8089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5d3040bc44ebc877d3d64d0b4e1311aefaa8419","datavalue":{"value":{"entity-type":"item","numeric-id":1687732,"id":"Q1687732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687733$91D89AEA-EA7A-4A75-9FC7-14E016F4DCF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"55727f9f4a7efb137e6c3bf39c513ca15ab9ea55","datavalue":{"value":{"entity-type":"item","numeric-id":851140,"id":"Q851140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687733$479D6065-AAD6-4012-ADEE-E387837B6FF9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7600255b4ee907c1b1dfbc5f62c7b1165ab1b6d0","datavalue":{"value":{"time":"+2018-01-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":"Q1687733$CCB00FAE-C0B0-4204-9B5A-CF6A1D4649E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687733$B1CF5C98-95DA-415E-9056-F6C349EB7C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687733$268930A1-F770-47A5-8303-481B88B2DB12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687733$9672AD16-13C0-4435-BE4B-8C58BFD9CD06","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ad629b5fbe6ff8faba8abc4b86c1aac78d6a2b9","datavalue":{"value":"6821851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687733$0701403F-2888-4E05-80F2-8AE930FBBA2D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"79c535fbbe1c448547cd7e9b5f157c20923f73b0","datavalue":{"value":{"entity-type":"item","numeric-id":40609,"id":"Q40609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687733$F98401A0-3E43-4E4C-BCA2-616265841C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687733$436A057D-0330-4EC9-AFA8-B7C1DD97048A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a94daa7865c51c0d2412cced8422ea9361d06e30","datavalue":{"value":{"entity-type":"item","numeric-id":21343,"id":"Q21343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687733$FBADB9BB-548B-4810-8C18-020E1DE40FA0","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":"Q1687733$3B342F1E-1490-4A6F-9942-2B66B9647AE1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4a66c1b2242a26196ecfaaf878cb6b82f60ce23d","datavalue":{"value":"https://doi.org/10.1007/978-3-319-66107-0_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q1687733$C7DB4814-66AB-48E2-A303-2021EEDE2A0D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"43bffcc78e038a3fae1ad5696cb70e83aa240ca6","datavalue":{"value":"W2748190963","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687733$DD91D341-7357-4FF2-ADDF-2FA33E554084","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d25ed0ad25e87f5689f7d10886f78fce0056e87","datavalue":{"value":{"entity-type":"item","numeric-id":446534,"id":"Q446534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687733$7DCA63CD-8617-48D0-90CD-326B5D5EACBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae600d82e59da48d9490ff29ee5b51a547bc0409","datavalue":{"value":{"entity-type":"item","numeric-id":4864249,"id":"Q4864249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687733$6A212F87-1C4E-400E-9ACE-964A3BF9E337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a32bc0ef00c31c61a800b19fbaf8e0898507642","datavalue":{"value":{"entity-type":"item","numeric-id":3477931,"id":"Q3477931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687733$8FF3233A-2AE2-4CD8-B781-5134B83D9710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"068a52ca49a57fbf130380c4abb6bc570a25aa5e","datavalue":{"value":{"entity-type":"item","numeric-id":2879254,"id":"Q2879254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687733$D644E431-A992-4296-A23B-01571C6397EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f97e95be859e33663b52106e626b60cd96dc530","datavalue":{"value":{"entity-type":"item","numeric-id":3088000,"id":"Q3088000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687733$B368852B-BA91-448F-AE97-BF9CAF8AF9ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dac16af6cf1adb18d0516e2c8db27f45fc424e6","datavalue":{"value":{"entity-type":"item","numeric-id":5327343,"id":"Q5327343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687733$26E1F64D-7295-42F0-A44F-17F7296B9866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606b55142cd4468a9a74e0ea3982d2b3991333cb","datavalue":{"value":{"entity-type":"item","numeric-id":3992908,"id":"Q3992908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687733$D580DCD9-1F91-4ABF-A926-4269A5D8DD41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687733$B5072CF6-8665-4D91-B4E2-87FD2219DD66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f91daa2195cbe510cefc59ffaafa18b1c28390","datavalue":{"value":{"entity-type":"item","numeric-id":4107888,"id":"Q4107888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687733$7A348C38-F1D5-4916-B59B-50C871E40B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34ee3280a4aba13cdbe3d7d1fc17418bf7b49fc9","datavalue":{"value":{"entity-type":"item","numeric-id":5493378,"id":"Q5493378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687733$F385E839-D83A-477C-9E2A-2CF6DEEFBE09","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbea862b27987532fc8010bf2c8c40af6b45205d","datavalue":{"value":{"entity-type":"item","numeric-id":4208864,"id":"Q4208864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"395d3823ada2e90baa2f86c4d8299d164ab7c866","datavalue":{"value":{"amount":"+0.7192578911781311","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":"Q1687733$CBD3E371-39F9-4A93-8459-232EE6976BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f9f1692d22dfcad2b614d477f7d02912ccff089","datavalue":{"value":{"entity-type":"item","numeric-id":1331926,"id":"Q1331926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eab0c672001ced16e1647ac6d5e8962e21c631f0","datavalue":{"value":{"amount":"+0.6995667815208435","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":"Q1687733$C585E36C-0E2D-4789-84A5-C9C9308C3E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5e85992e3bd6072b693be519c2115b4868823a0","datavalue":{"value":{"entity-type":"item","numeric-id":4559800,"id":"Q4559800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"538a08432c6beb77b8203383a4c14cdfeea40c9a","datavalue":{"value":{"amount":"+0.6991015076637268","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":"Q1687733$965C4C53-DF51-4FB9-8A80-DD2B04F4A6B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"871236b1d56e0d7c6fa6b37133f91f5d4c263f85","datavalue":{"value":{"entity-type":"item","numeric-id":2767120,"id":"Q2767120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dbb99ab80250db7bfd4a9f6f04bb9963f7f98e6","datavalue":{"value":{"amount":"+0.6959101557731628","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":"Q1687733$74590D02-4604-43C6-B928-F95314AE3426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bab9a7bfa3b3863035dd605aa9263b2ad56de540","datavalue":{"value":{"entity-type":"item","numeric-id":3348435,"id":"Q3348435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c00ae6618992a208d6524b20fdf8033dc88e81c8","datavalue":{"value":{"amount":"+0.6921559572219849","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":"Q1687733$3B938A0B-4CD3-4BC8-9A2D-CDCD168CA12D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Certifying standard and stratified Datalog inference engines in SSReflect","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Certifying_standard_and_stratified_Datalog_inference_engines_in_SSReflect"}}}}}