{"entities":{"Q5170280":{"pageid":7199852,"ns":120,"title":"Item:Q5170280","lastrevid":94403021,"modified":"2026-06-05T06:43:34Z","type":"item","id":"Q5170280","labels":{"en":{"language":"en","value":"A term rewriting technique for decision graphs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6319815"}},"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":"Q5170280$E587036D-A77E-4CA5-A9D0-90E250E76D79","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7193526a03a5bdf07990d22cbf9ccacf9d170968","datavalue":{"value":{"text":"A Term Rewriting Technique for Decision Graphs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5170280$7337F04A-2090-4917-8DD9-D3276BD7C827","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cac34c11c13346477244550d7f684c756c2a84c5","datavalue":{"value":"1291.68243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170280$C189E27D-2E4E-4796-8E56-71C818A253A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56c85b104dd558c1a8e3ea0a14b12e53b66a854d","datavalue":{"value":{"entity-type":"item","numeric-id":1772773,"id":"Q1772773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170280$76E1DB8F-7BD8-415B-95C9-9BB476D2DF61","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":"Q5170280$8999F473-CBCD-4787-84E8-A35B79B2EE31","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eacdb5fcca3e105f9b9fc4f2a069313e1de98d4d","datavalue":{"value":{"time":"+2014-07-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5170280$9581C535-C71C-41C7-93AD-DCE0D826388A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170280$F04F4C9E-E947-4863-A0FB-EC604DB77D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170280$DB73A361-042E-48AF-BEC6-5DE4FE29052B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170280$C560A6B5-0481-4677-86C0-D09620C220E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170280$5795ADA9-4498-4107-A7ED-F3A2768B337D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"44172fb0cc0d9459bbe69731875e00fb4faf7418","datavalue":{"value":"6319815","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170280$11C9B4B6-6F28-4355-B344-6BB1361D8104","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89ea1e38b1dfe695687b78da00cc7b7cf7ccd2be","datavalue":{"value":"term rewrite system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170280$9DCECD9B-51BE-434F-B7E2-1AD776D09D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170280$A8C69DAA-0A66-4D88-8E75-CA9EE1AB316C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170280$F281CB44-6C5C-42A5-BE50-36C3E8498AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170280$F04C506E-CE00-4598-9DDB-3658DA87F6D2","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":"Q5170280$537068FF-B655-4AA1-BE02-8FA044B64BFD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"315fe4e6e95de2fe259a8520d80757782eec8b92","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.10.016","type":"string"},"datatype":"url"},"type":"statement","id":"Q5170280$304DFDDE-3338-4976-9D9A-60FA1E4239AD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7262be8b4f80026b8a97fb2fbac1cdd352233083","datavalue":{"value":"W1991116256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170280$17E01C12-F022-4918-B31E-0B41AA495A7D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"97f2b2673bf036beb0708e9a25319f486f5c7cd8","datavalue":{"value":{"entity-type":"item","numeric-id":2651970,"id":"Q2651970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170280$C5E167FF-7A37-4CBB-BBF1-17D7F46E5AB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f25b8e008a975f89f7b985a332341f1abd7c7a50","datavalue":{"value":{"entity-type":"item","numeric-id":1772774,"id":"Q1772774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170280$82F91B81-CCF0-4721-BFDE-E5DEE5A58274","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":"Q5170280$839078BA-9F5C-4992-9873-1D5AE33F7B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bc85061b2e01b3c39004d0ba311d60367a81324","datavalue":{"value":{"entity-type":"item","numeric-id":5738912,"id":"Q5738912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170280$23B46212-3C68-4B07-8FEC-CA9F5F9D9331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170280$F718602D-348D-488C-8715-50A821B004A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50923a35276d4ffc47e783225d5f8a63d53e475c","datavalue":{"value":{"entity-type":"item","numeric-id":1870209,"id":"Q1870209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170280$484CD03A-33F6-409B-B890-352B38062C2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22782ecfc7a60281469e4273f383d2c24b35aa50","datavalue":{"value":{"entity-type":"item","numeric-id":2767014,"id":"Q2767014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170280$43E66C40-942C-44F8-AAFC-A6844F9E870D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15f2de53b1bf73e880cd8935ca36395fbd675bcf","datavalue":{"value":{"entity-type":"item","numeric-id":5900675,"id":"Q5900675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170280$40596F82-0618-4B57-823E-6CE13875B8AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c03f06d2cce0be649c3a0f52ed0be8c86b512c","datavalue":{"value":{"entity-type":"item","numeric-id":5716593,"id":"Q5716593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170280$683318AC-5DEE-458A-A556-9BBC585D41F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975126c2667d6964e52988e556bf8223ff836bfd","datavalue":{"value":{"entity-type":"item","numeric-id":3883564,"id":"Q3883564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170280$A7F00B3F-7371-426A-8FB0-085C76A1CC3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"931c630f243330e480767be66088a5b4e2ed5e6c","datavalue":{"value":{"entity-type":"item","numeric-id":4818813,"id":"Q4818813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170280$A593F95C-D9CB-4F0B-9B14-DFCB3662F8FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43c4614861cca8cffe8c73b1eab1c760ae07859d","datavalue":{"value":{"entity-type":"item","numeric-id":4804898,"id":"Q4804898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170280$C41F2406-0347-4F02-9641-E421CA4754ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"131a48f379099df52fabdc9ee5fffe7e9c0ceb7a","datavalue":{"value":"10.1016/J.ENTCS.2009.10.016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170280$92824F90-C5AD-47AC-9232-54D83BAEB7CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8edf2873bec9168ead80994526facbc77b49801","datavalue":{"value":{"entity-type":"item","numeric-id":1772774,"id":"Q1772774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f57f9dbc2c2d098923ee2c8f40bffad5e4ed75d1","datavalue":{"value":{"amount":"+0.8221710920333862","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":"Q5170280$9382801D-AB5A-4C99-8CFE-462EC897559A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be72ab0f2baf4f05f4c20c2060c34ec09d793107","datavalue":{"value":{"entity-type":"item","numeric-id":1349250,"id":"Q1349250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cd262b5b1b6b4a556194faa62da27783fb5ca7d","datavalue":{"value":{"amount":"+0.7505775690078735","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":"Q5170280$E56781AA-A2F9-4D3C-99AA-92FC6C34E304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2728bdb647f5a68bdc2f3cd88d2a59f40e327269","datavalue":{"value":{"entity-type":"item","numeric-id":2767014,"id":"Q2767014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e93b6b88b4ef7b5ed018c72a7abea57740ac0767","datavalue":{"value":{"amount":"+0.7458673715591431","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":"Q5170280$C5C50E83-6352-4591-85DA-00471C280966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"471062a8666f2a3d8b186cf6cd886b239927e128","datavalue":{"value":{"entity-type":"item","numeric-id":4428300,"id":"Q4428300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e93b6b88b4ef7b5ed018c72a7abea57740ac0767","datavalue":{"value":{"amount":"+0.7458673715591431","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":"Q5170280$FCE2D5BA-C4BA-49B1-A580-4A1244B4156C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b7e5f2222166d346b9ba8eac3f106e551b834a0","datavalue":{"value":{"entity-type":"item","numeric-id":1426055,"id":"Q1426055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da5c2a4474f2d5ae153b4a206cc36c2de33fa806","datavalue":{"value":{"amount":"+0.7363705039024353","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":"Q5170280$32B301BB-9643-4F6F-840E-EA0A96B78114","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A term rewriting technique for decision graphs","badges":[]}}}}}