{"entities":{"Q3840877":{"pageid":5870782,"ns":120,"title":"Item:Q3840877","lastrevid":54499118,"modified":"2026-01-27T11:53:14Z","type":"item","id":"Q3840877","labels":{"en":{"language":"en","value":"Structure-based validation of rule-based systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1190001"}},"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":"Q3840877$B8057904-5A85-42C1-8F3F-016405284026","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa66726364870f77cee82c333c0bc289b1411b49","datavalue":{"value":{"text":"Structure-based validation of rule-based systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3840877$AB16C959-E77C-46C2-A25B-BE97433AF705","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c6ac59c2d114dcc03dfe33ca3cd46987e12b9d20","datavalue":{"value":"0906.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3840877$818ECF01-E76F-471D-AD44-9BFDDCCE738A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"58fd787701d7cb285de90517a44bcf1130b90285","datavalue":{"value":"10.1016/S0169-023X(97)00019-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3840877$772C25CA-5A09-4FC1-80B4-9F9DD030791D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e581334e6cb7b4bf9007edd100bd25e637035e39","datavalue":{"value":{"entity-type":"item","numeric-id":156168,"id":"Q156168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3840877$8B930003-4873-4843-80D4-076518011FE0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa1149445dbfd9f2ca7dd0bddef406ecc8c892dc","datavalue":{"value":{"time":"+1998-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3840877$0FD760CD-AAAF-418F-8ED1-6EC2C213FA42","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3840877$1333AF35-AE0F-4F25-B2C2-52F75E2F4B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3840877$511F5934-031A-4244-9B02-F284A8A06055","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c93cb571ff62f3ca7f33b57b4ae72a917324d26","datavalue":{"value":"1190001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3840877$16A3C8FE-FE16-4F9F-A1FD-C057571C63E6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aadbbce4d6212535f94d23b11a1e613d10da08db","datavalue":{"value":"knowledge-based systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3840877$CA5A5A4F-3994-451E-8D8D-FBCD784CF8D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f056801c9a35dd02b2a6218accbbacab37d5b7f","datavalue":{"value":"rule-based systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3840877$F5E0386D-09BD-4033-8827-3C9824B236F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb49467b0eaac11205bea2d762375c665f5d0a6b","datavalue":{"value":"software engineering","type":"string"},"datatype":"string"},"type":"statement","id":"Q3840877$5D072D39-50EC-4C51-BC13-843DB310F0AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91e8309eb16e0328e2ade32d2009aaeee6aa87b0","datavalue":{"value":"structural analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3840877$AF4ED564-2F44-4648-9CFC-185F277C7FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0b02200c6b6f46ca6bdfe1551afa6691b5d3cb9","datavalue":{"value":"testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3840877$98C9CE68-C4DD-4E81-AC7A-6B2A8C937808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de39a2bf79af639e006f4e1c327e73646fa14da2","datavalue":{"value":"validation tools","type":"string"},"datatype":"string"},"type":"statement","id":"Q3840877$6B6B1817-F8F6-4D3C-A2A0-CB4E5C8ED060","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":"Q3840877$05726EFF-720E-467A-A43D-A1D9CAA8AD65","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2f87097b200e25654dee73764970f8ce7e04b1d","datavalue":{"value":{"entity-type":"item","numeric-id":4783356,"id":"Q4783356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6421a7e24d1191e93efb235f92ca039ef68aa1c6","datavalue":{"value":{"amount":"+0.744208037853241","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":"Q3840877$5E656511-B31C-4D3B-9034-F6F3D9DB7418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23696fd4ec6154d5fa8f4d0753821b3c7b345b5a","datavalue":{"value":{"entity-type":"item","numeric-id":5900828,"id":"Q5900828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"980befd13b68988906a450101521b546318bca2f","datavalue":{"value":{"amount":"+0.7055013179779053","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":"Q3840877$9E835465-FAFB-4FF1-8A79-B032F51AE84B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d151127caf5d52f51d15c6d3ded25e9b45a78283","datavalue":{"value":{"entity-type":"item","numeric-id":1354851,"id":"Q1354851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18b7360023eb74b9cdb40f202a01ee42dd94b3fb","datavalue":{"value":{"amount":"+0.6913800239562988","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":"Q3840877$117A3D85-946C-4FC7-8AC9-11C00C1527C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86f0563113092978af70220b4679175a70e88175","datavalue":{"value":{"entity-type":"item","numeric-id":4233455,"id":"Q4233455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a362ee60cbdb11c900f2287af9bbdc27d22c1a5d","datavalue":{"value":{"amount":"+0.6568126082420349","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":"Q3840877$603A06F2-2087-4CD7-86DD-D392ECEA3AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"897a0d74130bffd660128a6582f91944106428f6","datavalue":{"value":{"entity-type":"item","numeric-id":2738998,"id":"Q2738998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfd6de3aa26ecc0e73f35e7d633a097b0b4b5da0","datavalue":{"value":{"amount":"+0.6550061106681824","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":"Q3840877$D2E042AE-F74C-4A2B-BC4F-B5EE4641E44B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3840877","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3840877"}}}}}