{"entities":{"Q5878893":{"pageid":7908444,"ns":120,"title":"Item:Q5878893","lastrevid":101977832,"modified":"2026-06-06T03:14:20Z","type":"item","id":"Q5878893","labels":{"en":{"language":"en","value":"On Diagrams and General Model Checkers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7656541"}},"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":"Q5878893$F45D2D29-6642-4971-A3FA-912307DBE7B0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e19022295411ad7a47b755ba4b0d90d51d8c579","datavalue":{"value":{"text":"On Diagrams and General Model Checkers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5878893$D8AE9815-FA3B-4EA0-92B8-FE0A20743194","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ff05ccf805a408c661b480657391e43da5c22c90","datavalue":{"value":"10.1007/978-3-319-91376-6_60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878893$A44607C9-1224-49C9-885C-525551B28B26","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b28f368ceba13f379acac343070a56af24adeb81","datavalue":{"value":{"entity-type":"item","numeric-id":281162,"id":"Q281162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878893$02DB9EB7-8AD8-4AF4-9DC7-962A70B1D83C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51beb2a92bc32d80e5ddef4ffe8bea1acd44a330","datavalue":{"value":{"entity-type":"item","numeric-id":281161,"id":"Q281161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878893$7643F6D8-2AD8-4F26-9DDF-FA3810B6DA01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9faf035fd863b205682c8dda962765b1be375dd4","datavalue":{"value":{"entity-type":"item","numeric-id":281143,"id":"Q281143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878893$A1E75194-61AC-4F07-8C99-0A1D0696C27B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"867e98a98fa188b36748992aa891635fa9bec6a5","datavalue":{"value":{"entity-type":"item","numeric-id":4994976,"id":"Q4994976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878893$D07B877D-95FF-4EC0-A326-566797A9D102","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"02e659f2c9317e48908679f6474c10dc5a72abad","datavalue":{"value":{"entity-type":"item","numeric-id":2920984,"id":"Q2920984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878893$7E6644C5-2034-420D-8E8F-33002710B307","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"729820b3d9c942c8ddeec0ce26b9b49723352c71","datavalue":{"value":{"time":"+2023-02-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5878893$F0FF6EC7-1E3B-4F5A-B049-D1462BD6119F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878893$7F307632-1817-4F8E-B071-5C5E43292618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878893$E136BA52-2393-49CA-BF74-6111978B362D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c453722e2aa43cbaf7f9c3c7c4b1b919fcabf504","datavalue":{"value":"7656541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878893$55EA105F-C10A-4C11-BD5F-58B9325CEA00","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61e8e9f8f7d5b99330e59c1d6472f5f0dae2d8b9","datavalue":{"value":"diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q5878893$E229ED36-76EA-443D-A944-52C19F961E10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b868ce1d23353a02f937b74d30f2607654a9a63","datavalue":{"value":"graphical approach","type":"string"},"datatype":"string"},"type":"statement","id":"Q5878893$977C82E9-9C8B-45F0-BA8C-0BEA22572615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45b31e9bce9a56e8643806b347784ed3cc6b9fa3","datavalue":{"value":"general model checkers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5878893$4FEF5121-67FB-4F40-851A-6D9173F47D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4632542adc5cb22cbdc7505c7a5929e4c381728b","datavalue":{"value":"graphical converters","type":"string"},"datatype":"string"},"type":"statement","id":"Q5878893$1A6D12FA-B29C-4E6D-9A75-412FCD906ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"829188eb2ee377bc98adf76b2d300d08c99601d0","datavalue":{"value":"modalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q5878893$24085B40-BB61-451B-9A89-E16A3B54DF07","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":"Q5878893$F9A6286F-9812-475B-A647-0FEB2B34564F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"99310d1f10a8b43169083f81e6ccf914a0d5c463","datavalue":{"value":"https://doi.org/10.1007/978-3-319-91376-6_60","type":"string"},"datatype":"url"},"type":"statement","id":"Q5878893$E1552CB2-0358-4CE0-94D4-592395300D86","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"813a733b488e0db18300ea7cdaa57ca3e268c382","datavalue":{"value":"W2804446479","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878893$0A5AF229-55C3-43BA-A844-1AD7F5849A1D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878893$DA20D933-1ECC-48B5-8308-485C29FAB52D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878893$1DDC5F8C-C6FA-41DE-BD52-5E5038D1B63C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff8e4c3a43e7d0d69a709204a3a7a085b67b28cc","datavalue":{"value":{"entity-type":"item","numeric-id":4644610,"id":"Q4644610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878893$343AF451-B672-4DE5-9FDC-8DFEA71AB98B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8468fb515555f57e34fe608785778edafb5f3abe","datavalue":{"value":{"entity-type":"item","numeric-id":530865,"id":"Q530865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878893$F52F3506-9EFD-4EE1-AA3E-917CB0FA7829","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3f0209f8bed6050cb3a0db01f01f21f509f95cb","datavalue":{"value":{"entity-type":"item","numeric-id":1815406,"id":"Q1815406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c6cdafa5fb6c532435ba9ce1d1d427f4bf4a31e","datavalue":{"value":{"amount":"+0.89464265","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5878893$A9F658B6-BD51-49DC-987E-B552AFA11706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bb43345e80d8e8ad02ef54c52f32c56d7d3274d","datavalue":{"value":{"entity-type":"item","numeric-id":6091335,"id":"Q6091335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"540420ba16c82c29cffc3e98771e5340d942178c","datavalue":{"value":{"amount":"+0.8846023","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5878893$AE7F9046-A85C-4569-B01E-3F61764C694C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d402d3128056cea002509d365282cf1f6da3259","datavalue":{"value":{"entity-type":"item","numeric-id":3517238,"id":"Q3517238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e96ebe131e46619039186c06f53b66509bf7ce30","datavalue":{"value":{"amount":"+0.8798875","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5878893$2CF73E0B-1077-4772-B2D9-548CC474C5BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f80f0c0fda23968a7cf162e021f0fba0ad757824","datavalue":{"value":{"entity-type":"item","numeric-id":1325844,"id":"Q1325844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efeb5f3ed7534de9571ae2e855be4bbad2b350a8","datavalue":{"value":{"amount":"+0.87622416","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5878893$338E28DC-40BF-4D89-8B71-4097AA9077F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c01cb43b538feb58a91583e2951144520c1b516","datavalue":{"value":{"entity-type":"item","numeric-id":4817530,"id":"Q4817530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57e524e55ac3ebcaa118dd194cd95da3a88cb59f","datavalue":{"value":{"amount":"+0.87454","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5878893$58541A9F-5730-4338-B78C-79D7CCE8C1E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae47174fd345a646f494d65b0351856ffbcf52bb","datavalue":{"value":{"entity-type":"item","numeric-id":2169116,"id":"Q2169116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b85699093a5a41961ebc99f0b8719ef2f329d23a","datavalue":{"value":{"amount":"+0.87308156","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5878893$797012D2-7379-4D58-8299-66D548815A95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e08576fbce313a10bbe0679c2f6562288ffe9317","datavalue":{"value":{"entity-type":"item","numeric-id":2762493,"id":"Q2762493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2825f4e1e5c4a589dcd766f8124a036c1780c221","datavalue":{"value":{"amount":"+0.8728232","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5878893$714A5A13-B313-437E-89CF-EB8497D7C597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b6d36d0f86595855f8cce4e7301439fe4ce05d8","datavalue":{"value":{"entity-type":"item","numeric-id":3512435,"id":"Q3512435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e2076c82be7ec6419bf9dbf434890920c68b95e","datavalue":{"value":{"amount":"+0.8701512","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5878893$E74E9588-A00C-448D-ACDD-6FB5524C4939","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On Diagrams and General Model Checkers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_Diagrams_and_General_Model_Checkers"}}}}}