{"entities":{"Q844184":{"pageid":846032,"ns":120,"title":"Item:Q844184","lastrevid":42723896,"modified":"2025-07-09T14:09:13Z","type":"item","id":"Q844184","labels":{"en":{"language":"en","value":"Termination of \\(\\{aa\\rightarrow bc,bb\\rightarrow ac,cc\\rightarrow ab\\}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5659920"}},"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":"Q844184$91CFB646-ED57-4A45-99D5-C4BAB192C271","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a9c887b1d0395477ca697f395f77e2d82f645944","datavalue":{"value":{"text":"Termination of \\(\\{aa\\rightarrow bc,bb\\rightarrow ac,cc\\rightarrow ab\\}\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q844184$4A21F829-BF39-4107-BF57-5ED115AB87F3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f21c1f89065d6b778345ce19d5c0ec990094aaf","datavalue":{"value":"1187.68527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844184$6B75C461-E664-4567-8F14-3B59233FDE26","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d6f35fa4c47014185c8455e3f00c2771df4684d","datavalue":{"value":{"entity-type":"item","numeric-id":199240,"id":"Q199240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844184$D1592BE2-5913-45E1-8499-801FE6FB0D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8608b3d845665df20a4960779896ea8329708b5c","datavalue":{"value":{"entity-type":"item","numeric-id":703574,"id":"Q703574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844184$4ADBCB73-604B-4A3E-8004-A4094193B21A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844184$700255BB-F6CC-41FF-8D4B-00B9C44449C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"160ae7be62905e153a649a9a4d09ab3aa02ded62","datavalue":{"value":{"time":"+2010-01-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":"Q844184$7AB8C58D-A155-4601-9963-94933B477725","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844184$90365A80-920F-41ED-9EF0-75BD4F0E4D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844184$60DB39D3-C049-49FD-AF6B-4060A24FA6FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e51fdfd3c655f040518b1c51571397e60e30ed54","datavalue":{"value":"5659920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844184$56724079-C72D-4B28-BEC8-E0EF3CB0B035","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d2aa687cef17cd912aad76972cec097c0540be8","datavalue":{"value":"automatic theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q844184$34839E8B-6600-41A4-96B9-72A3D56CC687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q844184$2FC6EAC9-A413-457C-97BA-98160678C7C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84a59c985dd3aa9be5ee556ed3da954f03c5904f","datavalue":{"value":"string rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q844184$74283938-B121-4563-926E-507CF1C7F6F8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844184$01203CDD-99F1-4CF2-A1EC-1A890C6DCD31","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":"Q844184$B44FEA03-3521-4418-A594-4B0779B08CC8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"37d948752837b24fa1d5a2760e9ebf0cb282156d","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2005.12.011","type":"string"},"datatype":"url"},"type":"statement","id":"Q844184$49E090D3-66C4-4893-BFCF-9E3EDC3FCC71","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c75088c96bb696d80d92114a1ae635e40bfdec48","datavalue":{"value":"W1529656135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844184$1579668A-D3EF-4E84-B06B-F029C413F0F9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c525319ed7a0622a258a9434358c0414c7f08540","datavalue":{"value":{"entity-type":"item","numeric-id":4846257,"id":"Q4846257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844184$34E0BB1B-A8CD-42A2-9A9A-BAA5027F77F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f092ab96b40cd83fc197e49ecba4c05223cf4986","datavalue":{"value":{"entity-type":"item","numeric-id":2736359,"id":"Q2736359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844184$9AC724CA-CE3B-4962-9909-CDDD6D7AD234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ef5f661c4f0016c7fdb92e88e8b94907f8385b","datavalue":{"value":{"entity-type":"item","numeric-id":5713748,"id":"Q5713748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844184$58C966C3-25DF-46B7-A513-109E4F878C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c0b8a5888a26501f99b9921effa60fdaeffe2f0","datavalue":{"value":{"entity-type":"item","numeric-id":1763707,"id":"Q1763707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844184$C4A56E7F-D20C-4322-BE17-CE18565BDD1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daf73e36acd8c530d7cd261bcfd06e8246cdcd8f","datavalue":{"value":{"entity-type":"item","numeric-id":4594226,"id":"Q4594226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844184$2D418E5D-A933-47F8-AB15-C46649CED398","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"997e4c5d14650502471cdca3fbe63bef4dd8f22d","datavalue":{"value":"10.1016/J.IPL.2005.12.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844184$15072D8C-5A7C-4972-97ED-BE5EF0DD8060","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:844184","badges":[]}}}}}