{"entities":{"Q915431":{"pageid":917279,"ns":120,"title":"Item:Q915431","lastrevid":49389025,"modified":"2026-01-07T02:05:14Z","type":"item","id":"Q915431","labels":{"en":{"language":"en","value":"Weighted graphs: A tool for studying the halting problem and time complexity in term rewriting systems and logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4151805"}},"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":"Q915431$B7A549B8-74C8-4FD5-8FF2-C53B570F95C9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d5e8d99e0ab795d0ebcd6522b5d0de122f032da4","datavalue":{"value":{"text":"Weighted graphs: A tool for studying the halting problem and time complexity in term rewriting systems and logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q915431$5F192534-33E3-480D-A169-6A3F5FE171ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c98880ad9b7d84da93257cb0c5bfccd09913e47","datavalue":{"value":"0702.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915431$746D4219-B2D8-406A-AD47-39DBA795D747","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc1a9a7f7a7a4fceabd676452e655432dc298a8b","datavalue":{"value":"10.1016/0304-3975(90)90066-Q","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915431$4D9E2023-6E86-46A6-BB90-D3098856B2CC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2612fb8911c7209863c4cf5be1c1501e9eb3919e","datavalue":{"value":{"entity-type":"item","numeric-id":915430,"id":"Q915430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915431$A44DB4A5-5287-466C-8F31-0C9F7F5F2214","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915431$CD0FDBEF-B01C-4A51-BD95-C0E5D9DF1ADF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q915431$540C75E1-B781-4833-A516-089B644F1DED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915431$F2A27ECC-DB5C-4CC0-B83F-EABC74DA5A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915431$657ADE90-3CB0-4908-B6BF-0416F549A86A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915431$0583AB6F-3D20-40CC-89D6-663A65C577E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915431$6E2966BC-F372-4CBE-ACFB-0CA369DF457E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915431$34D64EFE-E89F-44EB-A641-E27CB22F21DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915431$DFDF60AF-EB43-4F4B-BAD1-F32428704B34","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e23f40f281b56ef09372e0ace5c801e6d1846e6","datavalue":{"value":"4151805","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915431$B149CF53-95EC-46A2-80A0-B7E8157A6541","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9b38447a3ea959cbe95310edeeb21e7ef6903f8","datavalue":{"value":"halting problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q915431$7C0464AB-1167-4CFE-AE72-5E486F8CA957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af40915f10c928715e60355faaaa618b6f178c38","datavalue":{"value":"complexity problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q915431$3848CBDC-6221-4DEB-8FDE-4EFAA4C682ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbff8f03116ac62cf7e2d9cc2988d21dd31f9a83","datavalue":{"value":"logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q915431$1F093FA0-AC46-4500-81C2-5FD18E4EA6F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b53e9a33dc4a0ffe5341c0efee7896090b46b2ab","datavalue":{"value":"structured logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q915431$EB874664-385B-4001-960D-534167B3C99F","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":"Q915431$314E4C92-0DCC-42D5-9B8E-8F6C4720C53B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ec46a7633ce86d7c1e2bece78377f8d3dcdd857","datavalue":{"value":{"entity-type":"item","numeric-id":5522202,"id":"Q5522202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915431$363C44AC-B415-4C0B-B647-4EC9C64D8876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb7b8847a36d076106e01f43c31a170940dd0b60","datavalue":{"value":{"entity-type":"item","numeric-id":1055184,"id":"Q1055184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915431$D9BB2F47-E2F7-452B-B8DA-898AF7A2720C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2de0c47aac54d255781a3e64af689d25e678b8dc","datavalue":{"value":{"entity-type":"item","numeric-id":1098322,"id":"Q1098322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915431$F9DFE3FB-785A-4092-9A57-BE4F3DC29F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf5521f74336d6e00994ae674bce0a63dd4d69e6","datavalue":{"value":{"entity-type":"item","numeric-id":1199548,"id":"Q1199548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915431$7B1E4223-2365-4D84-BD93-9EB45A5E337D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"878d0cf3806a5845f931422b646e88e6f9f50943","datavalue":{"value":{"entity-type":"item","numeric-id":3703288,"id":"Q3703288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915431$C2366145-A8AB-4578-BA59-A28266554F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d3f5f0e6d39b0610560c479018fc71a2adcd20","datavalue":{"value":{"entity-type":"item","numeric-id":1098624,"id":"Q1098624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915431$EDBE97D6-1C6D-42D9-AE0E-36858A28A581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9089878ca1d287bb1ef3c5c7863f1293bab9c51","datavalue":{"value":{"entity-type":"item","numeric-id":3742749,"id":"Q3742749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915431$A8426EF2-203E-4221-981C-8FA7AAAEFAFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8ba7b68057757d42cfdcb945f7c0c92fd593a89","datavalue":{"value":{"entity-type":"item","numeric-id":1074342,"id":"Q1074342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915431$254EDF1A-E669-4030-A24B-B3215411D73A","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":"Q915431$E8B9C092-436C-453C-B4DB-0993B33BD3E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04627d8930222dc855d7ac72f78773223baf2263","datavalue":{"value":{"entity-type":"item","numeric-id":4195948,"id":"Q4195948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915431$36369940-E703-47AF-A0ED-37FDB08326FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915431$E9DBD878-F261-4CCC-862A-56D47E707745","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e9eba65192991837ba677209f210736a6aa4b6a","datavalue":{"value":{"entity-type":"item","numeric-id":3742749,"id":"Q3742749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e654cc0b46f65ef60373c27e989178813a02d45e","datavalue":{"value":{"amount":"+0.9111344814300536","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":"Q915431$33F95059-C9FE-43D6-A477-9BBFE0EF8EA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"318a35402d9aa75b79859ea63621a45fa0d883f8","datavalue":{"value":{"entity-type":"item","numeric-id":1311966,"id":"Q1311966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96a8686fc37dbb18ac00a670d858254ebd53a78a","datavalue":{"value":{"amount":"+0.7828061580657959","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":"Q915431$A8ABD183-D146-4982-B698-A845B018C530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01a452884b2c485ccf850e77c1af7d5dfb939722","datavalue":{"value":{"entity-type":"item","numeric-id":4281612,"id":"Q4281612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"988e6da145fa7e18bf9fb15ccc39765c7f581d3b","datavalue":{"value":{"amount":"+0.780064046382904","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":"Q915431$4A660A2A-446D-4A42-80DE-341A8C8F6374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46b61732bf87bf09eed939f59438ad1005aa3846","datavalue":{"value":{"entity-type":"item","numeric-id":2736348,"id":"Q2736348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aac355b6f72709fb300edffdf5cb8fa5c3e7b597","datavalue":{"value":{"amount":"+0.7105798721313477","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":"Q915431$1CF67FE2-6205-46B1-9E51-E65679D381F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b52c61a66b7b83766df4698cc7db777f5802cb25","datavalue":{"value":{"entity-type":"item","numeric-id":3837998,"id":"Q3837998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76938e68ac8a31ee094661365f2bf8fa16ed6bd8","datavalue":{"value":{"amount":"+0.7098668217658997","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":"Q915431$DB28438D-950B-4015-961E-220DFF568BB1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:915431","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:915431"}}}}}