{"entities":{"Q1842811":{"pageid":1853553,"ns":120,"title":"Item:Q1842811","lastrevid":47319562,"modified":"2026-01-01T08:42:03Z","type":"item","id":"Q1842811","labels":{"en":{"language":"en","value":"A formal model for verification of dynamic consistency of KBSs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 746271"}},"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":"Q1842811$88B0F0A6-2D13-4445-9238-89FC76E2DA27","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3dbe9eba767f87b3aee5e375476e201db8f47456","datavalue":{"value":{"text":"A formal model for verification of dynamic consistency of KBSs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1842811$1025B6D8-2EF7-40A8-901F-4F480E89B6A9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3ccb8e86bb3f9f92718f42de27b4e35e43f1883d","datavalue":{"value":"0815.68102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1842811$66E873F1-F312-4603-81BA-CF3ACFDD6741","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1f08f018fdfb06d52b0a4e2968e7316e8840d304","datavalue":{"value":"10.1016/0898-1221(94)00250-O","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1842811$F8DBDE4D-788E-4910-9950-3D85F8A35DE9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"284a1a1af837d3b9115fc85a34a6ddadf0bd34bb","datavalue":{"value":{"entity-type":"item","numeric-id":1842809,"id":"Q1842809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1842811$9283C496-CA47-4EFB-9C30-79D9F5FD8BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dcfad52a7698442d36c1bf6eb294c698c16f9033","datavalue":{"value":{"entity-type":"item","numeric-id":1842810,"id":"Q1842810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1842811$AA443C25-9F06-40FC-AFCA-25FEA7A9D342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e11b0e88ee50fa9f165f88aee506f9526524568","datavalue":{"value":{"entity-type":"item","numeric-id":417949,"id":"Q417949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1842811$B5580646-BD1A-49F7-BEBF-59DD80D7C9FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"431454e777d4b0e6bc71b82c09a4af2495d122a5","datavalue":{"value":{"entity-type":"item","numeric-id":692308,"id":"Q692308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1842811$F32B778E-7F18-4917-BAAF-6A448C4310A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e340cfe20b84c66f2998042517749ac0f6f422e1","datavalue":{"value":{"time":"+1995-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1842811$68C6CA62-6937-425E-9B90-8DDD3AC68ABB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1842811$8B85692E-A5FA-4D34-9C51-0727285259AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f3152f1d01b714bd5c5d482a16f31a33677a49d","datavalue":{"value":"03G99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1842811$69E13E5A-E2CF-4A25-8CE9-C963D14480F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1842811$2C280505-E049-4A40-A3A1-9F722F73CAB0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19dc2690642edb1a0850ce211bc03edfbe28e095","datavalue":{"value":"746271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1842811$12ED8C2A-52E4-48E3-A721-D686B6E0A016","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c35f6f094586da23ba16dc4d730beb281b63758","datavalue":{"value":"formal models for KBS's","type":"string"},"datatype":"string"},"type":"statement","id":"Q1842811$6CDDAEAC-942D-42CB-9BFB-4B5FB0C9FCC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d487c95dd26a529da66979389aca489eb9e72ae","datavalue":{"value":"formal approach to verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1842811$5C8EBAB6-1269-4A8F-B990-465851C4D2FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c121d0b4540e7ec170cfab417fe7f119976eb282","datavalue":{"value":"algebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1842811$585534EA-27DD-4470-8D05-F9DFD85C14BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"181a3c51ddb7dbc6fe9b141fde2001374ac681aa","datavalue":{"value":"knowledge based systems verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1842811$08A6EC4A-0B4C-4B05-B9E9-BA20DD01A99A","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":"Q1842811$062F0A3D-F57E-41D1-AA4A-CDE11E35F6C8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f06da0733433b72cc38e384260530070cb37219d","datavalue":{"value":{"entity-type":"item","numeric-id":3282928,"id":"Q3282928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1842811$7F947ADD-0192-4774-9363-029329F9D6E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbd033225030c6894930249618a6a6069d5705f1","datavalue":{"value":{"entity-type":"item","numeric-id":5519109,"id":"Q5519109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1842811$5856E1F5-66F2-4F79-8205-DD1FCB0A8D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d375a468805a1946e908fd63f97c423c9eb0fcc6","datavalue":{"value":{"entity-type":"item","numeric-id":5903593,"id":"Q5903593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1842811$41474D72-B0BC-4880-8462-1C60A47E058B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54b9e308c7141029e5e3f531ea2cf0f5ed21631","datavalue":{"value":{"entity-type":"item","numeric-id":1214924,"id":"Q1214924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1842811$460E99A3-8555-47AB-8416-EC7B47E267FD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e237ec9821851c0f19395980e063031c6fd42ef8","datavalue":{"value":"https://doi.org/10.1016/0898-1221(94)00250-o","type":"string"},"datatype":"url"},"type":"statement","id":"Q1842811$7C77CD18-6FB7-43A0-9791-B2C8EDAC289B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"23a454bee3eda29f6c4009cc21857d8f168915b8","datavalue":{"value":"W2019519144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1842811$C5882C2F-5018-435F-99A9-BDF128E52266","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"293935db3834ff8b5d542ae1771b7c6cb66baa38","datavalue":{"value":{"entity-type":"item","numeric-id":85551,"id":"Q85551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1842811$E9FFECE8-B693-45F1-B882-3B9961EE53AA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bedb495ed259dd1acc1b8cb34dd80fb9b3c17041","datavalue":{"value":{"entity-type":"item","numeric-id":3985546,"id":"Q3985546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f62f994f3c5521074c8e7dee1b3d9ee9c778769","datavalue":{"value":{"amount":"+0.7410629391670227","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":"Q1842811$843A9D37-CF07-42B9-A8EA-28CABD2B0A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df1512130ffc878cf05cd366ffe7d16eb718f496","datavalue":{"value":{"entity-type":"item","numeric-id":1274279,"id":"Q1274279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63f566ee6afeac730753271457cfd61d7907ed32","datavalue":{"value":{"amount":"+0.733087420463562","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":"Q1842811$0774062C-85E6-4786-90CD-5A50853F5F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6604cba0c5210b2fbe8c30bcec94fa20f507429","datavalue":{"value":{"entity-type":"item","numeric-id":1994361,"id":"Q1994361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f59d527170e702c89048c8a11d5ecb9e0b7e320","datavalue":{"value":{"amount":"+0.7321208119392395","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":"Q1842811$4C1AAB96-943D-4407-B996-D4470D9CF860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37effc9a35d49532163b47b7b0bd63047f552828","datavalue":{"value":{"entity-type":"item","numeric-id":2778425,"id":"Q2778425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62b38ca517e54079ebb0ff3e4243cca6298fd5f3","datavalue":{"value":{"amount":"+0.7151350378990173","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":"Q1842811$80DE7034-265B-40AA-B6A3-82410560E1FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a6becc9a542f015f29e99a0b6597c7accaca24e","datavalue":{"value":{"entity-type":"item","numeric-id":4874615,"id":"Q4874615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b482fa9e3aefad60fdee21bc29116067e075007","datavalue":{"value":{"amount":"+0.7129649519920349","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":"Q1842811$5B33A64A-2A2B-409D-B20F-DEB608832DA5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1842811","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1842811"}}}}}