{"entities":{"Q5178962":{"pageid":7208534,"ns":120,"title":"Item:Q5178962","lastrevid":100423991,"modified":"2026-06-05T22:06:02Z","type":"item","id":"Q5178962","labels":{"en":{"language":"en","value":"A PVS theory for term rewriting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6416474"}},"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":"Q5178962$7B1DC119-937A-4105-98EF-8AD725E0B8A7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e1233724909482d233490cd9361f665bfe415bf9","datavalue":{"value":{"text":"A PVS Theory for Term Rewriting Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5178962$2762B878-0E9F-4DFA-8DA1-E4870AAD6B77","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5536f600a439381607f4f3524c729a07ded7e919","datavalue":{"value":"1310.68124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178962$54163794-F544-4195-94B4-1206D4BA7B0C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ab95474b6baa310590afe6a2aa5d8e6bad0997c","datavalue":{"value":{"entity-type":"item","numeric-id":5178961,"id":"Q5178961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178962$6B57A6F7-2AFD-4E9F-B73E-30C912641DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb39c66b74dd471ce57c28215b275dfb915aaaa4","datavalue":{"value":{"entity-type":"item","numeric-id":529653,"id":"Q529653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178962$BA3EAF74-D62D-4CCE-B444-14333C311807","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178962$90892675-6224-4494-BA7E-4E9BB37612C8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e3ae1d772ce191deb207c0bad17ca1d39804476a","datavalue":{"value":{"time":"+2015-03-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":"Q5178962$962A0514-DDD7-4E17-9AA5-0C009311D002","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178962$F2E5DDD1-B115-4CF8-8A1C-DE1A0170FF18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178962$92E6B217-53E0-4570-B46F-98C101ED426E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178962$E72C1534-7728-4C95-89A3-85862CEAE0B5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f44043a0b3b53808cc54772185e55e8ba799793","datavalue":{"value":"6416474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178962$DBD3FA8F-A36E-4B5F-87B5-CFEDB1727BAF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0e0c8947f635446b508acb2e3b70c0046cf3e82","datavalue":{"value":"abstract reduction systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178962$922598A6-EA56-4473-B38C-97663A68A69C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58acf4952d5f9adc27bc95a2037859c88d48f9a6","datavalue":{"value":"term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178962$C01E471A-8C89-4708-8F7F-CA55682BB688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31b1e72814742d17041702399cf9b31a849e7779","datavalue":{"value":"formalization of theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178962$3294A977-3FAA-4C12-AB8E-B949436F0EA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3d3d0d2409011411be91984a4137a1c90ca04ff","datavalue":{"value":"PVS","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178962$681542DB-7387-4A54-A097-3594D377C520","rank":"normal"}],"P1463":[{"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":"Q5178962$0EEA336D-FB7B-49F5-83ED-C6783E6B7AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e916eb1dc395e3830d6317d3e8aefcb052d11440","datavalue":{"value":{"entity-type":"item","numeric-id":21785,"id":"Q21785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178962$3F084695-47BE-410A-A64B-1AEAE78412CD","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":"Q5178962$25855FEE-050A-4102-8B9E-04994C00E3BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e07b63a7544a6d7c83390f82ddae368b77e124c","datavalue":{"value":{"entity-type":"item","numeric-id":19570,"id":"Q19570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178962$46041E74-2870-4AEE-BD39-5B871EF2BD2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"67c3f43838a601c0dd45dd55931db88b0b8a03b4","datavalue":{"value":{"entity-type":"item","numeric-id":40332,"id":"Q40332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178962$2321B2F0-DECF-4CC1-B53E-48E077AC0DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"196df186c928142e918b27309d1e8d902253c0d6","datavalue":{"value":{"entity-type":"item","numeric-id":40331,"id":"Q40331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178962$9DBA3696-7BE2-48F1-9828-C676E1A1A07A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3f1ebf2accc5d6c6b3c7a81ee7493fd53a6bf250","datavalue":{"value":{"entity-type":"item","numeric-id":40618,"id":"Q40618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178962$D907908D-869C-4D98-8FB3-CBBC666F0161","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":"Q5178962$CE2FF923-7062-4DF9-B2F4-39CFE7DB8424","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2922339205c9d7e583fe392bf87693315645a11e","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.07.049","type":"string"},"datatype":"url"},"type":"statement","id":"Q5178962$3445347A-726E-41B6-BC0C-4FE66A655478","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fa6a2c012b5ac4553d0ac35b3a19e706cb706c50","datavalue":{"value":"W2025817323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178962$D69267A6-63AD-4B22-8CC0-57D7DAC8542C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"827ff1803f9ec1fe63c82c4e77f5eb5e135953dc","datavalue":{"value":"Q58001452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178962$11D97984-9D1B-4B68-9EF1-19EF1034778E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d8bfe191ca90d3395347096033dd0a0643030e0","datavalue":{"value":{"entity-type":"item","numeric-id":4281462,"id":"Q4281462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178962$52DD4120-E2EA-4FB2-B0D0-C7BC832B71E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02e09aca669dd60a87d882383a1ecfad1904736c","datavalue":{"value":{"entity-type":"item","numeric-id":3395957,"id":"Q3395957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178962$F772AF76-61F9-4965-90D7-50798FCF5633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178962$6388190B-7794-41B9-B437-BD5135BA1348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aad2711eb9c64a58dada485191047b8af29959d","datavalue":{"value":{"entity-type":"item","numeric-id":4040283,"id":"Q4040283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178962$34A154D7-57A1-427C-B709-041AFB3235FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec28ba6d820be907a77fb84eda09cc97c627df63","datavalue":{"value":{"entity-type":"item","numeric-id":3525007,"id":"Q3525007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178962$1A3EE002-E67B-4F3A-9CA9-986DDEE79F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dceaeb69355189fc068eb986132da2a3b9a2d0a","datavalue":{"value":{"entity-type":"item","numeric-id":2703747,"id":"Q2703747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178962$36489D90-9FFD-4ABE-B08F-BD19104AE4F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599c5dbf52817fbbe5f2f15e33a96dc6ac97514e","datavalue":{"value":{"entity-type":"item","numeric-id":3908463,"id":"Q3908463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178962$9FB64525-B0A6-4B74-A448-1401790D2070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a550204b4fc9eb077df82e95f8c42f6d0c6fa7c3","datavalue":{"value":{"entity-type":"item","numeric-id":4764621,"id":"Q4764621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178962$16ED70C9-1E11-412D-B850-F113DA33CA76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178962$18F13F59-0D6B-43BA-B927-FAFEA3AD2B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"486b3db15310f7b4419a518b9731479317d56d77","datavalue":{"value":{"entity-type":"item","numeric-id":1961921,"id":"Q1961921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178962$1D4C1542-B834-4E55-8D93-50ED57B6C875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab11f968a1fe231094f125d88568cff5c0be92de","datavalue":{"value":{"entity-type":"item","numeric-id":1595924,"id":"Q1595924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178962$A7B1C782-5EBF-4BC8-AF44-6464FDFDF7E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"185924672466c333b2a4f60179da234e4df54e65","datavalue":{"value":{"entity-type":"item","numeric-id":1610218,"id":"Q1610218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178962$C3FAD00B-6F4F-4681-A7E1-AFBB08C4086D","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":"Q5178962$87232607-E045-4095-8D13-21D72AF9C0E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93870916f985296994d3e934a3bbc33cc4056cee","datavalue":{"value":{"entity-type":"item","numeric-id":3801105,"id":"Q3801105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178962$683AD33E-F863-4DD0-BE4F-18ACFFF123FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c2d5d639516971267796ffa6fec41921dba4da0","datavalue":{"value":{"entity-type":"item","numeric-id":4645811,"id":"Q4645811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178962$665BEF32-AE8C-4549-BE8B-10BC26FED04B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"24eeb0e96d03d4a9dcde01797b83e243bb914c46","datavalue":{"value":"10.1016/J.ENTCS.2009.07.049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178962$D64042A5-9F51-4499-A6DE-13BDC5A3F89E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdb3531ff2751186a7a9c4e837386d4dbee1edd1","datavalue":{"value":{"entity-type":"item","numeric-id":616850,"id":"Q616850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ceb93b2a1aad6a0fda1972c3299e0743101883c4","datavalue":{"value":{"amount":"+0.8486718535423279","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":"Q5178962$1E415AAC-7E48-4769-92DC-5969E204D41A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"094b56ecfa17507306c21215ee4485798f2d6e66","datavalue":{"value":{"entity-type":"item","numeric-id":3817590,"id":"Q3817590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bb723b634dc17325d0c815b2bc8c8e017ac19aa","datavalue":{"value":{"amount":"+0.7982714772224426","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":"Q5178962$C69FF299-346A-4E80-A1B4-75F6A7475882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"067b9ee5d1759bf8dfdf5a7d76851fcc9c0894c5","datavalue":{"value":{"entity-type":"item","numeric-id":1610218,"id":"Q1610218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f74d328855c8eef75fc5dae4faa96556ec189862","datavalue":{"value":{"amount":"+0.7760931253433228","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":"Q5178962$D72E59E3-C690-4897-9303-F63393CA8184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dc78662ad87e0ad64a1b6f5fb5983785321da06","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a44db3fd2bec76b79002a558cc313643755d2d9","datavalue":{"value":{"amount":"+0.758340060710907","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":"Q5178962$22F99DE8-6D94-437F-8122-C2B8269B2EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cb4c115a27c54e7c463bd6207da05fe042a7640","datavalue":{"value":{"entity-type":"item","numeric-id":4038704,"id":"Q4038704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24f15e4c9c1cc8a1ab2e0b5a43115ef10ddb194a","datavalue":{"value":{"amount":"+0.757348358631134","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":"Q5178962$A0F5B0F6-A0F9-41C3-9271-E393FFA8F202","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A PVS theory for term rewriting systems","badges":[]}}}}}