{"entities":{"Q5234719":{"pageid":7264287,"ns":120,"title":"Item:Q5234719","lastrevid":94688771,"modified":"2026-06-05T07:28:47Z","type":"item","id":"Q5234719","labels":{"en":{"language":"en","value":"Proof tactics for a theory of state machines in a graphical environment"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7111188"}},"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":"Q5234719$0E2B51F5-72C3-4EE5-866E-1AFA9CBB3046","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4e4c060a4d1900afe4900d0ea64b2e86da5f062f","datavalue":{"value":{"text":"Proof tactics for a theory of state machines in a graphical environment","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5234719$33AA7E61-973A-4201-88E9-594F0B31D898","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"374c96de00a4abdc4c8df47084256aa17262696d","datavalue":{"value":"1430.68400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234719$E57F4FA2-686F-4EFC-B32F-4649B31DF32B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"17bae82bc3f0d45ba91d21741300ad4bed5c2354","datavalue":{"value":"10.1007/3-540-63104-6_35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234719$6F3DD8A3-5878-4769-9D43-9FC0FEC1AF3A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d7fed7f9678d370347e5769ec8a4f44fbeb8e69","datavalue":{"value":{"entity-type":"item","numeric-id":5234718,"id":"Q5234718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234719$61864951-B3D0-4F99-AB64-6F7CDC32E736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0bdc6bc274abd0ca85d037fb563effcb13afffbe","datavalue":{"value":{"entity-type":"item","numeric-id":262274,"id":"Q262274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234719$CAD51023-060C-4980-AC60-1AEB6ECE1097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a1f6adb86c11def72f94526dcac48ee236bbb16","datavalue":{"value":{"entity-type":"item","numeric-id":787074,"id":"Q787074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234719$5D945DE6-0581-4A85-9AAC-DC7B270DB5D0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3d3860a2f9767fdefbee4661adcdc84432183bcd","datavalue":{"value":{"entity-type":"item","numeric-id":5234680,"id":"Q5234680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234719$99EE4083-681A-4D9E-95B8-93ABBB6D9F90","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dea1ace5968cb70ccc50b025abd55a0016bafdf0","datavalue":{"value":{"time":"+2019-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5234719$C577932B-1C22-4AA1-AB08-C3E735342558","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234719$5A8DB814-AF9D-41D3-811E-20A1053074C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234719$921C4BE7-25A1-478F-8922-2D949BDB8561","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"15c278e852b1c71e1ca19bdaadbb5ac35bbd7492","datavalue":{"value":"7111188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234719$F8A79C4B-AA48-4B38-8D37-841904865509","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f40d419c3fa26b2514bfe6acad0af4c3d2cd5290","datavalue":{"value":"state machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q5234719$140E15D9-6949-4133-85BE-0F7F96227614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0488673ac4d7f483985d2cc228ccdf424b87cf5","datavalue":{"value":"transition graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q5234719$317592CB-AEF1-4EC3-8EB9-B95A09DC0CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5234719$C38B289E-934E-48DF-B734-1FC8505C0D83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44d258dc2c175100911223fa823d7e660547aad7","datavalue":{"value":"proof step","type":"string"},"datatype":"string"},"type":"statement","id":"Q5234719$36066F45-4657-47E1-879F-84C01F6E9288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e13bc8441d7666d4310a93839316ebef38c603a6","datavalue":{"value":"prototype verification system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5234719$17C9D28E-A76F-48F0-9BA8-EE43A77DCA1A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234719$06237B2E-C8D5-45F6-967C-9B40A52E0C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f315cbf107e2694affc75a3856cbad8d0c6cb3a5","datavalue":{"value":{"entity-type":"item","numeric-id":42071,"id":"Q42071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234719$E83BE84F-F5B7-4C96-9389-BB1B0FDE7E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234719$1A512EB8-8848-4732-A6C3-F9B9B42986E4","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":"Q5234719$7174C293-04CD-40E1-A5EE-C6A5BA009180","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d43fe94002568c2ccdfd72a7495d9e99c0a01599","datavalue":{"value":"https://doi.org/10.1007/3-540-63104-6_35","type":"string"},"datatype":"url"},"type":"statement","id":"Q5234719$AE856761-8C24-48CA-85C8-FF41399DB7E6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d11c49adedc383b0de74630cc320000ca1e06eb0","datavalue":{"value":"W1784288965","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234719$49CC512C-7E5B-4E57-AE97-39A2B49D6449","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"361c1fc07090edd3c1b4894a28402a53e226b577","datavalue":{"value":{"entity-type":"item","numeric-id":4511321,"id":"Q4511321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234719$F70582EB-EDAA-4342-AA65-6D2A924628F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fda4823e935196efd93067fa34ac9e31a4b482a","datavalue":{"value":{"entity-type":"item","numeric-id":4174207,"id":"Q4174207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234719$278E872E-3D58-4C57-8137-59BE048C3460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234719$5DA7968E-DCED-4AFF-B870-B66D4C316F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75bc4d563688937953e9565cb59d372220564c2a","datavalue":{"value":{"entity-type":"item","numeric-id":3685233,"id":"Q3685233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234719$AC96511F-1C96-4D0D-B762-7B6649C4CCEF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6ed59a8da5c4b360c5ec2f4bfad28762034bf12","datavalue":{"value":{"entity-type":"item","numeric-id":4243082,"id":"Q4243082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53122c0140756c5cb316f65852e7219efb3fb557","datavalue":{"value":{"amount":"+0.7318483591079712","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":"Q5234719$BCEA8CA8-9378-4B7A-949A-4E2231CC67DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"590389987854c62166aa437651a61e790abebe66","datavalue":{"value":{"entity-type":"item","numeric-id":2864359,"id":"Q2864359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53122c0140756c5cb316f65852e7219efb3fb557","datavalue":{"value":{"amount":"+0.7318483591079712","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":"Q5234719$2D938861-05B9-4924-B5A5-D5239A5100AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f6d5b63f5736be374c92cf6b9d2e05cb45f6823","datavalue":{"value":{"entity-type":"item","numeric-id":4037091,"id":"Q4037091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68c107e32f8d24fb10e7cd825b7c8daf6bf71331","datavalue":{"value":{"amount":"+0.7300254106521606","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":"Q5234719$DF8FD93D-D45E-425C-A1E9-104683FC46D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5eca6144a10b557846f357d55bdd6d978dbad52","datavalue":{"value":{"entity-type":"item","numeric-id":4934532,"id":"Q4934532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68c107e32f8d24fb10e7cd825b7c8daf6bf71331","datavalue":{"value":{"amount":"+0.7300254106521606","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":"Q5234719$63D1A9F7-085E-4C52-912D-13553D8125E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a47fbb30879d741bf653dab37b194fd7cd6f425","datavalue":{"value":{"entity-type":"item","numeric-id":4037371,"id":"Q4037371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4feb843ec9a74ff9048933828a5064989e4bf697","datavalue":{"value":{"amount":"+0.7269698977470398","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":"Q5234719$B25F65C3-603C-4D60-A50B-9A6974B47B5C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof tactics for a theory of state machines in a graphical environment","badges":[]}}}}}