{"entities":{"Q1996855":{"pageid":2007597,"ns":120,"title":"Item:Q1996855","lastrevid":57671052,"modified":"2026-03-31T20:56:01Z","type":"item","id":"Q1996855","labels":{"en":{"language":"en","value":"(Co)inductive proof systems for compositional proofs in reachability logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7316058"}},"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":"Q1996855$3874506F-7F7C-4792-995D-09E113172AFA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bcd6c9c75ac2954b72bb4f51bdad148afa3a1670","datavalue":{"value":{"text":"(Co)inductive proof systems for compositional proofs in reachability logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1996855$D98F5AB3-FDF6-46BC-BE3A-DC4CC5F84E54","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"20c745635b010fba4f6cb36b3174b1b6994232ba","datavalue":{"value":"1455.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996855$3D284E09-7F06-462B-A5E6-3EBD37F82325","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e6276f2b5f5afd85d3b3b6bb8e4fd8cf82500e8","datavalue":{"value":{"entity-type":"item","numeric-id":493520,"id":"Q493520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996855$FA5506EA-E797-4295-A25D-E1FFEDFD3A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1278b7772ff04d9a7882941c345e2fa92d6375ea","datavalue":{"value":{"entity-type":"item","numeric-id":781248,"id":"Q781248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996855$C9659010-E46A-4179-AAE5-28CD47FA8EDE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996855$DCD405FD-2E4D-47F4-9DBB-B5B2BA497654","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cbf7892cac0bee2c27c326c262f528698e353002","datavalue":{"value":{"time":"+2021-02-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1996855$FF9F165F-B15E-48CA-AEA1-AA53AF6B13BD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bdda8634f33863f766622582c1fe19c7acde9e99","datavalue":{"value":"https://arxiv.org/abs/1909.01744","type":"string"},"datatype":"url"},"type":"statement","id":"Q1996855$360BBB58-395B-43B1-AFE5-EB1F6418AA6B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996855$8C383544-5A37-43F1-8EF4-E412C366E842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996855$BB90E484-04A3-414F-BBDD-C49F1EBFC64A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e6a334ef06bc695bf8a3cabf4670fe80cc95e8f","datavalue":{"value":"7316058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996855$788A6F3C-72D3-49AD-A805-A2E8885E535E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996855$E458245C-2C7D-4E20-A4E7-EDFE132E9EB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8fb5f6da2df561a79b128a652d1df41678f66c85","datavalue":{"value":{"entity-type":"item","numeric-id":22838,"id":"Q22838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996855$098BC273-6A25-4B3C-91D3-1464C10FDA7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996855$E4A0B7B5-50EC-45DD-85F4-9E0A868F85B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996855$95138E4C-9957-4027-B8B3-B9F44078E315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"00eff5f4477a877589eb9cf8614492385c42b973","datavalue":{"value":{"entity-type":"item","numeric-id":40251,"id":"Q40251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996855$9ACA4BD4-D3C2-4A3D-93A5-E6838244E506","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":"Q1996855$B108B3C2-0D14-4CAD-B332-813C65006F6B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"161eae071f164c884677780a325349918f95b27b","datavalue":{"value":"W3096325522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996855$88AE9400-C664-465D-BF6C-827D64B444B2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"830d584f2917a4eef62612327f4f24b771abb7ce","datavalue":{"value":"Q113870957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996855$ECD5BC79-65D3-4E9B-9417-7F1CFDE4759D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996855$D4687751-C217-4F47-ACEB-BC246BA92106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88d1b205201f13d82c065e97ff01a6bc59a545ee","datavalue":{"value":{"entity-type":"item","numeric-id":5271073,"id":"Q5271073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996855$142FDAB2-691E-4362-B07B-CD43916FD6C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c5876fc1d7fbfdcf6dfc958df987ef04ace1022","datavalue":{"value":{"entity-type":"item","numeric-id":2945720,"id":"Q2945720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996855$1F483D94-6136-4B50-AE1C-52A206C1ACC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6d2c1d28764699f29fcc1b4ab0d0c39029c827c","datavalue":{"value":{"entity-type":"item","numeric-id":1671153,"id":"Q1671153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996855$EAA73A40-CBC5-457C-9B3C-59B379869967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996855$C07C186E-C2B7-4A7A-BD1E-0111627BF89C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996855$8EABFC02-9FC4-4F09-8C41-5997DC3C79B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2908b882f84be4917b45ada52813497d33c1e4b2","datavalue":{"value":{"entity-type":"item","numeric-id":1799091,"id":"Q1799091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996855$07B68684-546F-4749-8B62-5AC30B68C79C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d80f8dd118b5b17b20a55804069560896538ee46","datavalue":{"value":{"entity-type":"item","numeric-id":507361,"id":"Q507361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996855$7598842D-8B4F-41E0-B5D0-8D4E9CD3DE2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27db9e9581a3654ef6548465f8344084772f1158","datavalue":{"value":{"entity-type":"item","numeric-id":2324001,"id":"Q2324001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996855$D965C979-2D29-4DCE-B3E9-1902BDB0F3B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbe4db5a2cada33a3a22cf98099b6ee2bc07d491","datavalue":{"value":{"entity-type":"item","numeric-id":1902697,"id":"Q1902697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996855$A45BF6FF-EFBE-4C73-9D20-286F49F45A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84f5f00376ce40e7c5e95eb21ebf38fad1c6f5bd","datavalue":{"value":{"entity-type":"item","numeric-id":2873661,"id":"Q2873661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996855$DA8878E5-8DAE-45AF-81B6-79C2AC9030BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"142a42655803b94237848507ab4a61f241eb69a3","datavalue":{"value":{"entity-type":"item","numeric-id":3638255,"id":"Q3638255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996855$76659766-A83D-4A70-9090-40769A293D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2583f34f3ba476ef3ed853ba8693dbe27f9970f7","datavalue":{"value":{"entity-type":"item","numeric-id":2931796,"id":"Q2931796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996855$0F6040F3-39F0-4E0D-99AE-16832F751091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19067979a65f5f9cffa8d51a2008c8cba42d74e4","datavalue":{"value":{"entity-type":"item","numeric-id":4635886,"id":"Q4635886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996855$AC718C2F-025B-4B9D-8619-70AC5E48723C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"435cf13af67db4829ca178e89f130660572eba08","datavalue":{"value":{"entity-type":"item","numeric-id":5371960,"id":"Q5371960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996855$222279B1-F6E8-4EDD-8D3B-8DBE4DA156AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acccd7eafd07dc3503b73f63fc694c404030064c","datavalue":{"value":{"entity-type":"item","numeric-id":3118994,"id":"Q3118994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996855$13442861-B5AF-4920-93F3-F7EBDF2C1254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e4059e3e3788a873388fc3b6237dcbc3b49d09","datavalue":{"value":{"entity-type":"item","numeric-id":2768503,"id":"Q2768503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996855$ED23EC54-5703-4C1D-A22F-3D26BCC7DF99","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"080289dfcaa0ba93c6e3f6c6b0dc9cc7bf78ad96","datavalue":{"value":"10.1016/J.JLAMP.2020.100619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996855$B76831BB-95F0-41AA-8C9A-C83BD79FC21B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21c5a5e4004778d33396d68cca73030d255168a2","datavalue":{"value":{"entity-type":"item","numeric-id":1799091,"id":"Q1799091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"446e289c5afe2ce597c36e721dc33d81f1177687","datavalue":{"value":{"amount":"+0.789996862411499","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":"Q1996855$1878F518-F0F5-40D0-B74E-506E370B2B05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02e6439c9ecc37247f435ac5bca7e4bb5111310f","datavalue":{"value":{"entity-type":"item","numeric-id":5271073,"id":"Q5271073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc6ebb1efd28f52907fa885d8b85ad563798d852","datavalue":{"value":{"amount":"+0.7689898014068604","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":"Q1996855$31958F88-50B1-40C0-9BDB-155FC64BF961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45259a692f704ff9fa5333f98fe9a1012f3def9b","datavalue":{"value":{"entity-type":"item","numeric-id":2362498,"id":"Q2362498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b4d3dd3e4572409df5cb0678e03dc6ca20347ed","datavalue":{"value":{"amount":"+0.7465745806694031","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":"Q1996855$F1470578-67FF-40FD-9ECD-9BDA6D1D3555","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1996855","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1996855"}}}}}