{"entities":{"Q3614874":{"pageid":5644780,"ns":120,"title":"Item:Q3614874","lastrevid":50606933,"modified":"2026-01-14T13:31:38Z","type":"item","id":"Q3614874","labels":{"en":{"language":"en","value":"Verifying Time and Communication Costs of Rule-Based Reasoners"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5529444"}},"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":"Q3614874$E3A11F4E-5DD6-4473-B92E-1FE06BA1E9CD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"987ee529e11ad7ed898dfb7f6fbd995cda031c67","datavalue":{"value":{"text":"Verifying Time and Communication Costs of Rule-Based Reasoners","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3614874$1F4D8C6A-4E3E-41B5-A75F-5781D2029384","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b4a129c5226ba51c94ae46b69d0e19e9f6593ea","datavalue":{"value":"1226.68118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3614874$28FC249D-B07E-49E7-82C9-9A4E0913EAE7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ce31437217d0b21808c7ba7f2de0d6b1c0ff8ffc","datavalue":{"value":"10.1007/978-3-642-00431-5_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3614874$86C3EFC5-553C-4679-8F27-D09EFE9F7DBA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d06b9d3e98376955f4f1468110c0445691894ccd","datavalue":{"value":{"entity-type":"item","numeric-id":208223,"id":"Q208223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614874$A7A0BEF3-7E43-45B4-9E5A-681C25246ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d52aeee7b8bf072b0ab639aadd1e7acccb1b466","datavalue":{"value":{"entity-type":"item","numeric-id":208224,"id":"Q208224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614874$B021FD04-E90E-4133-AA8E-00339D5914D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9db00789426b811f44ee5003a01b4e76d7017379","datavalue":{"value":{"entity-type":"item","numeric-id":3614873,"id":"Q3614873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614874$DCEDACAB-4748-46E0-A8B1-52A9D0C1B65D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"900a92e2bedf37e0464f76b64291234d7518d0d9","datavalue":{"value":{"entity-type":"item","numeric-id":1036065,"id":"Q1036065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614874$93F191A4-B4A8-4DF8-B219-9A7116BA92A9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e30f5c42aad001db063f687525b9c7c698118a50","datavalue":{"value":{"entity-type":"item","numeric-id":3003423,"id":"Q3003423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614874$E12FA5D8-107B-4725-8AC9-5BB190FF067A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17814350209354c715cbf2c1580c94a27df99545","datavalue":{"value":{"time":"+2009-03-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3614874$C6945BEF-51BC-4EDC-AA93-085B25473A1E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3614874$C8BD8E49-7D23-4DFC-BA85-6057276689F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3614874$39E63C12-FA96-4DA9-89BB-A4AF338FD5C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3614874$DEC995A2-971A-4C0C-BDA2-EC8BDEB471DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3614874$6A7DDB5C-5A8B-4555-9DF6-02719B1763A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c64c0c41953a1c1cfe71ddfa7716e50cbea2040e","datavalue":{"value":"5529444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3614874$D6A35374-5280-4DFA-A431-11BE975B440D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"af5bf62d73c7ce629c0669b5ccd1badd6d3f9691","datavalue":{"value":{"entity-type":"item","numeric-id":21446,"id":"Q21446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614874$4D171FE1-BB7D-4C2A-9642-0FCCE8F9DA5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0b81395bce8af48e679b9daeada5dec6a46a77d1","datavalue":{"value":{"entity-type":"item","numeric-id":24858,"id":"Q24858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614874$332C4ED1-25F4-4269-9264-32189EE47E8D","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":"Q3614874$9F521A40-EB25-4BA0-8C18-467025A691DD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"db3a19209550b88d9bfd571ff06ecbe6d1228e37","datavalue":{"value":"https://doi.org/10.1007/978-3-642-00431-5_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q3614874$A51DDFF3-6011-46EA-80B1-AA0AF3985F4F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"650d60b8913a05ae6cb18c8f0e75e0d33e2a5c63","datavalue":{"value":"W1607917053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3614874$CA25028D-3C44-4606-B4A5-F38D2251A1F5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"16634a24214f35bef4c1198df3f73db7f1aa6989","datavalue":{"value":{"entity-type":"item","numeric-id":2457612,"id":"Q2457612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614874$69AB7141-A202-4B69-A19D-59B7F88AA018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dbf2356c33da6949992e76652d09afb44a132cf","datavalue":{"value":{"entity-type":"item","numeric-id":2457688,"id":"Q2457688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614874$EEB9B876-D9E1-43FE-A3AD-47B1DA162B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f5dd2bde6f974587eb291ac157a13d4d46e088","datavalue":{"value":{"entity-type":"item","numeric-id":5423880,"id":"Q5423880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614874$DF873481-F20C-43D0-B69B-5B4070AD35D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d46ba082ecb9e1779604230bb32dfd32186c8cd2","datavalue":{"value":{"entity-type":"item","numeric-id":1036066,"id":"Q1036066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614874$84317DB7-4B7B-437C-81C2-29E17C2D37BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaaf0e544edab55f404bd528dbb481c158a6484d","datavalue":{"value":{"entity-type":"item","numeric-id":3437259,"id":"Q3437259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614874$9D47328C-FCA3-4ACB-9FBE-D6A6A489364C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6440aa6eb5d414713f792f7d809d5508c4bdc0ba","datavalue":{"value":{"entity-type":"item","numeric-id":2758043,"id":"Q2758043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614874$EFAB7D2B-BAA8-459F-B473-71AB0DC3E2FD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64c170c666fa9542e87351b0ccbf87d32db61ea4","datavalue":{"value":{"entity-type":"item","numeric-id":1036066,"id":"Q1036066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"886f7d32c367558ff442f5f3af1a4d266332a536","datavalue":{"value":{"amount":"+0.8330119848251343","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":"Q3614874$DA2C4A2F-92AE-445F-8A47-15BD6994843D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50d8c41ca789c27a004f5da0c7e01e4f6b9917dc","datavalue":{"value":{"entity-type":"item","numeric-id":5394117,"id":"Q5394117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18e424cca4c9b72e40a4d83e70aeb6e2cc05bf6b","datavalue":{"value":{"amount":"+0.781144380569458","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":"Q3614874$C7D77432-289C-459E-BCF8-2454C8CEC060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52ff691b4c36c29f11ac16203127a3bef5b083c9","datavalue":{"value":{"entity-type":"item","numeric-id":5423880,"id":"Q5423880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bab5ceac22192d2f19980d81df5e60ee85bd7ef8","datavalue":{"value":{"amount":"+0.7286505699157715","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":"Q3614874$3D2E3674-4BD2-487C-A8CF-0878BA1A1B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94f84670331ba87cfa916e7454a7b5bcf3f69c9b","datavalue":{"value":{"entity-type":"item","numeric-id":5394113,"id":"Q5394113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0526fe4b5b0be9a89ad2c1c3eaba4cd8454ef34","datavalue":{"value":{"amount":"+0.7118690609931946","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":"Q3614874$288A16A9-8767-4F9F-B758-9E753EC1B47F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5a61d768dd26b30033a4e928567dbf82165ce0c","datavalue":{"value":{"entity-type":"item","numeric-id":5897330,"id":"Q5897330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"992ca91f0f7e83cb16d9e8241f6f652f1a2cec28","datavalue":{"value":{"amount":"+0.7079015970230103","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":"Q3614874$FB27F157-9C34-477F-BA46-14C9294A2B0E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3614874","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3614874"}}}}}