{"entities":{"Q5096397":{"pageid":7125973,"ns":120,"title":"Item:Q5096397","lastrevid":54382373,"modified":"2026-01-26T17:53:28Z","type":"item","id":"Q5096397","labels":{"en":{"language":"en","value":"CPO models for infinite term rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7572222"}},"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":"Q5096397$648540FE-25CC-4212-9CCA-C8FED2157963","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"853712af40b96545f4bf66f446ea2b0087639bf5","datavalue":{"value":{"text":"CPO models for infinite term rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5096397$1BAEB57E-FFA4-4CF3-8E72-8A8C4F46D2EB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"18b41d3579e1b1ed7e63f6276563ecd09760b556","datavalue":{"value":"1496.68163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096397$37CA1815-77C3-4D67-9535-0CD8DBF7EDF2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2ac6abc76914407c669d50a7483aa8422f1bfc67","datavalue":{"value":"10.1007/3-540-60043-4_65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096397$CA8F038F-96BF-400B-9911-3615C3E55E26","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b00d93131f1b38401f6d724c500276180fc1e824","datavalue":{"value":{"entity-type":"item","numeric-id":171483,"id":"Q171483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096397$743E3EBE-B46F-4832-B2AC-ACFF3F2C363E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e3445d7abc4eee928243e03ab31bdb8317e366c","datavalue":{"value":{"entity-type":"item","numeric-id":344544,"id":"Q344544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096397$BBD0904D-EAF5-4C5D-A296-83EBAAE62C6E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61858cb81e4b5eb34d2de9199633f44c2ecae313","datavalue":{"value":{"entity-type":"item","numeric-id":2996122,"id":"Q2996122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096397$F246995B-2974-4DF6-8859-DA9F27887ADF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f0638de14cb053deb57828797f5c127a478dbaa","datavalue":{"value":{"time":"+2022-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5096397$81EAFCA7-F053-4E34-B8E6-56599C1AB330","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096397$D185A98A-E4E2-44B4-9ACF-A210251F139A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096397$D7D9ACDC-4C7B-4B4A-BE58-1C26126DF40C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096397$0190D665-6C6B-4E34-901B-1A38A19ADD12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096397$33942E96-EB29-4310-AE6A-5D4EB9B3539C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"72e3e2e6ef3d3cd88bf41a257b926b85ecb9fee8","datavalue":{"value":"7572222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096397$B2D7401B-57BB-4419-8935-BF0C53002283","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":"Q5096397$2756635C-4CF8-46FC-9EF7-5D7B81047CAD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bdab143f3c0b5398ba2b0dcfa7ec04d005536f41","datavalue":{"value":"https://doi.org/10.1007/3-540-60043-4_65","type":"string"},"datatype":"url"},"type":"statement","id":"Q5096397$CCE74568-EF8C-47C2-BE0C-E580F4A8DCD3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"90aa52bed5c15487b8c9f709a7597e3d5c7ef914","datavalue":{"value":"W1590378845","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096397$FD3A92C0-B5D4-4A0E-BD94-967C50574252","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0065dc8b5c25773ef1d9719266c7992d0edd4dd5","datavalue":{"value":{"entity-type":"item","numeric-id":4131619,"id":"Q4131619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096397$99CED8FC-7125-4205-87EF-2FCEA169F2F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be84165c80d400eb5fbccb489212416fea3bece2","datavalue":{"value":{"entity-type":"item","numeric-id":3997112,"id":"Q3997112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096397$963CE2A6-871E-46FB-B0B9-D8886704CCEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5233ecf80adacd71bc0df8d6c003ead340f19164","datavalue":{"value":{"entity-type":"item","numeric-id":4964701,"id":"Q4964701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096397$C5BF1B49-86AF-456F-9E06-DDDBDA8BB64B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cac9a187e963eb92fa611619398d24d79fab6c","datavalue":{"value":{"entity-type":"item","numeric-id":5044755,"id":"Q5044755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096397$C163AF8D-FB35-45F9-971F-3FD19491FA38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096397$C7D6FA37-2076-4A68-9007-1E5554ECCB1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c79479be3f78950fdebc8d6458730d52e0552f1c","datavalue":{"value":{"entity-type":"item","numeric-id":1176247,"id":"Q1176247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096397$9BD8A202-FCE8-477D-A4A4-48C537A7AA14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebaa62ef6ae788995fcc51d9c3d7d0db41920cc9","datavalue":{"value":{"entity-type":"item","numeric-id":4100671,"id":"Q4100671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096397$A9C0FC2A-1931-4C90-83C8-81C8AD88A82D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b620cb3f843d6247596ccdeef0b13771fac8cb7","datavalue":{"value":{"entity-type":"item","numeric-id":5730919,"id":"Q5730919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096397$994BACCF-BFDB-4E51-8822-4EF8286C0AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c264d0378a5f30df399a3e5c6ab315df59ddacaa","datavalue":{"value":{"entity-type":"item","numeric-id":1190488,"id":"Q1190488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096397$955CE23F-D5D1-499F-A83F-18CF42AD1A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7727f32602c446ba60de4812ad3638fdb664fca9","datavalue":{"value":{"entity-type":"item","numeric-id":5096266,"id":"Q5096266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096397$912C79E4-2178-4B64-BEF4-B650806F1824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fccf929221ed0af9043006d25d894f4e7300d9c","datavalue":{"value":{"entity-type":"item","numeric-id":3815296,"id":"Q3815296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096397$7E96C01A-FA50-4753-8796-F5D69BF659B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41aaa57fe30511832972547fc629c35640b6da70","datavalue":{"value":{"entity-type":"item","numeric-id":5881271,"id":"Q5881271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aef3325ec8e81c601ff825a9b0602c6f4d2a6d91","datavalue":{"value":{"amount":"+0.828242301940918","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":"Q5096397$73B03DEE-DFD7-4BC5-A96D-0FCE1D3F4D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4ddc6be95d2e88e6f62bb7edcd8f3f72d127fe5","datavalue":{"value":{"entity-type":"item","numeric-id":5044755,"id":"Q5044755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd5e7e4bf3d8b444edba970f7a8c10bbeb552301","datavalue":{"value":{"amount":"+0.8211435675621033","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":"Q5096397$15759C9C-D5B5-43F6-96EA-C88FF05B3E74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"488a60c2e3b2223ab85828f382c76e6a8bd7ec76","datavalue":{"value":{"entity-type":"item","numeric-id":4222803,"id":"Q4222803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6b962cef215cf7b4de1f0380e3320a8565a2180","datavalue":{"value":{"amount":"+0.8134304285049438","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":"Q5096397$5E29DCFE-1931-4D7C-A1FB-26B73C695F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d2e1abf50daa2e213f5b62126533a265d17e2cf","datavalue":{"value":{"entity-type":"item","numeric-id":2376981,"id":"Q2376981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a96be30649c591ed112b4c5fc4f1acaeeb4bd7a","datavalue":{"value":{"amount":"+0.7993605136871338","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":"Q5096397$005D2819-2524-447F-84DF-2656C8074934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07176488cebb1cfdca74160c706c687eec9e83c0","datavalue":{"value":{"entity-type":"item","numeric-id":5389142,"id":"Q5389142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36fc5ccfaaa74a32711e5e1ede5013b21cfbcf79","datavalue":{"value":{"amount":"+0.7936509847640991","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":"Q5096397$4BB1E6F6-6450-47E8-B208-FAE41D974FC9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5096397","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5096397"}}}}}