{"entities":{"Q1799091":{"pageid":1809833,"ns":120,"title":"Item:Q1799091","lastrevid":53239745,"modified":"2026-01-24T12:59:49Z","type":"item","id":"Q1799091","labels":{"en":{"language":"en","value":"A coinductive approach to proving reachability properties in logically constrained term rewriting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6958106"}},"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":"Q1799091$E9CF3F60-D2BC-4A85-A00E-CBA4667C1C5B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c5ce6606a148e59df4d8de791102f1d4f90c7af4","datavalue":{"value":{"text":"A coinductive approach to proving reachability properties in logically constrained term rewriting systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1799091$A808DB06-BAC7-4CCE-9651-B9D86FF911C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4a26951178af2ba40bb0f39f77b75b60c35b78b0","datavalue":{"value":"10.1007/978-3-319-94205-6_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799091$B7541821-0389-43D6-A815-6399B45F21E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"81586982d17a5065a8b3d9d0e0dbbd008e2a773f","datavalue":{"value":{"entity-type":"item","numeric-id":437032,"id":"Q437032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799091$BBCBB9DE-6991-431D-BEEF-3ED630781EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0a54b19aa26970eaaa1ec809a9eee1a0531ed1a","datavalue":{"value":{"entity-type":"item","numeric-id":493519,"id":"Q493519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799091$B281BC89-3D2D-4832-934E-1F8371A295F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0172cdede3f306f1b36155a82f67164814fd11e5","datavalue":{"value":{"time":"+2018-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1799091$0B7A1E57-8416-489E-8CA7-3F4E4701FE91","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3abf21cf75e350b676ba94b32ec2f87adbee529f","datavalue":{"value":"https://arxiv.org/abs/1804.08308","type":"string"},"datatype":"url"},"type":"statement","id":"Q1799091$C9121126-6179-44DD-8FAF-D1C8F35B868C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799091$65443D31-55E7-4DA5-A264-95392DD2131F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799091$E9EB1172-F367-42DE-91DD-0CF5C749A69B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"865bd78567c5ba1ffaf35711d653a3b84a9b8e84","datavalue":{"value":"6958106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799091$2CF48E1A-B4A7-4AB5-B2B0-AE9C717E4099","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bd3fa568ce44545ce1c1bded3c45ecc37b43b7c1","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799091$8A484CC5-B6C8-4618-8E90-A79715DF8823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"408b5aaba7f2ea024c4a5a39c80384dc0e30166d","datavalue":{"value":{"entity-type":"item","numeric-id":30823,"id":"Q30823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799091$E0F4EB06-6D6F-4B1E-9C9C-818A70C17542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799091$D15A86BD-790F-4503-96B6-5467B61A17F4","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":"Q1799091$FC481C0B-5241-4086-A3B3-0D42ACAA767C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"105df2b38627847ea671084f06de31cc3882116e","datavalue":{"value":"W2964321453","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799091$46B2491B-C195-4AC1-8FCE-2AD08983B727","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af12b0c47463698ad0b613154d06ab41e7b09ed9","datavalue":{"value":{"entity-type":"item","numeric-id":1996855,"id":"Q1996855"},"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":"Q1799091$6B5FAD1E-B14B-4631-9F89-898D8F5FE8E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d1e19c3d632023ac38e016e86cf8ee20a8ea283","datavalue":{"value":{"entity-type":"item","numeric-id":4916227,"id":"Q4916227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25e38b122c678658c6a0ff7812cdb957519e9d4c","datavalue":{"value":{"amount":"+0.7643985748291016","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":"Q1799091$1BFDCF80-81CD-4552-9E94-91D07BA1F067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e2c18fecea17b612f87443f804a3ed510fb2be7","datavalue":{"value":{"entity-type":"item","numeric-id":5900823,"id":"Q5900823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31b609ad7807c4ab7a9e0c1318b88d30c7cc5e13","datavalue":{"value":{"amount":"+0.7567360401153564","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":"Q1799091$AA7E9558-BB13-4571-A44C-13A9A6043F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16d848fd39fcd180d6dd51093a428c6d8a947b6b","datavalue":{"value":{"entity-type":"item","numeric-id":2888482,"id":"Q2888482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ebd3ae70e36ba82a08c57948e7b714998bcb67c","datavalue":{"value":{"amount":"+0.7541777491569519","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":"Q1799091$562D12C0-1B89-4291-B11D-5AE25B0119D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38f53430be3e63b53037556f228b8559ae84c227","datavalue":{"value":{"entity-type":"item","numeric-id":1671153,"id":"Q1671153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6461b459430ab14ae8e3c16850f6f138faf2b3fb","datavalue":{"value":{"amount":"+0.7414627075195312","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":"Q1799091$E1F33575-590C-4166-A77F-92A5EAF8CF21","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1799091","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1799091"}}}}}