{"entities":{"Q5178022":{"pageid":7207594,"ns":120,"title":"Item:Q5178022","lastrevid":94383176,"modified":"2026-06-05T06:40:11Z","type":"item","id":"Q5178022","labels":{"en":{"language":"en","value":"Relating models of backtracking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6413036"}},"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":"Q5178022$DA82F57B-9F85-41EB-94FF-897EE85A7A86","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fda83e810911d147603c14e4aebfa3e69eb47431","datavalue":{"value":{"text":"Relating models of backtracking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5178022$83B58C7D-57CA-4EAB-A199-E382A61E973C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f32d61bd72d7e62637a91929630b27cacacbad2f","datavalue":{"value":"1323.68176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178022$1BE8EA26-0337-4168-BE4A-555E5E551581","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6a83389890f92c52849291667d466db4f69bcb61","datavalue":{"value":"10.1145/1016850.1016861","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178022$6481CAAE-9EB0-4D30-AEB0-5F9E81960B8A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0df46863ce98323a92df75a33b2683b5441c935a","datavalue":{"value":{"entity-type":"item","numeric-id":808686,"id":"Q808686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178022$BB8D87F9-F04A-4A65-837D-E3DEE53E5B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"60d2ec1ef035e8176853bdf11c56f48f71e94b0c","datavalue":{"value":{"entity-type":"item","numeric-id":5178021,"id":"Q5178021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178022$992D1D3B-166D-4BB8-A949-8C2F77956AFA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f33a483a1a2d9de990034c7d88e54d11356b8521","datavalue":{"value":{"entity-type":"item","numeric-id":5178016,"id":"Q5178016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178022$FC3836F5-CCA9-4E1A-B9A6-C2997E46D59E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19529df7d3312773fdd8684f0485c293d53ec310","datavalue":{"value":{"time":"+2015-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5178022$4227EC7E-779C-43F0-9D04-A559673A7273","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178022$70B13E22-6823-4E35-89A8-F9909DDFB82F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178022$7DCC96BF-D9A7-495E-ADC2-85A1F9D00D73","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"167373065e57a46c5f8b49826f989be0a16948c2","datavalue":{"value":"6413036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178022$D40B83A1-515E-46DD-B748-1D651CB945F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"955ae0864b7877b34a072672137a835899d70acc","datavalue":{"value":"adequacy","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178022$B6AC5D1F-F035-47C2-BB59-51B6FCCAC46D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02e2bd1176be2ca24a8b368e42bc8812510b3ef7","datavalue":{"value":"logical relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178022$E6647096-12CC-4A8E-BC05-0100F9B60AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a236a4a9881a761a93f593b6fc0a0e9903a99925","datavalue":{"value":"monads","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178022$2F2906DD-DA44-4DA6-8AF2-D9FC9620CF55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcb6cfd82e4f7f4d67e785307127da4b6fc881c2","datavalue":{"value":"streams","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178022$B55697A9-2427-43F4-9CFE-3A44F3F189B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3303684314aa1ed95f3b277942759f8d80bcd9b4","datavalue":{"value":"two-continuation semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178022$741D6D65-C0A0-48F4-AC54-20D5E82A00DD","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":"Q5178022$0F09B7DB-25CE-4913-B155-E809BDF1FE80","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"362ca3208300f921acd014a0d1bb60b809d5393d","datavalue":{"value":"https://doi.org/10.1145/1016850.1016861","type":"string"},"datatype":"url"},"type":"statement","id":"Q5178022$303D8AA8-A579-4AA0-BFC0-33D66A3C85C3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a88633c8cdf848dc3014e97b937545a0b2446b42","datavalue":{"value":"W4230823447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178022$669A490E-FF23-4AED-A1C1-FF7B87FEDCB1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fccb8490da33745e0d6ac327a89eca7109751bd","datavalue":{"value":{"entity-type":"item","numeric-id":2848128,"id":"Q2848128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33394f47243567ea78e731a5a81de6d46e072243","datavalue":{"value":{"amount":"+0.7409870624542236","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":"Q5178022$CD351B3A-6653-42FD-9320-545B989C1D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"922884cf9d6948c049d50ca8037f9411162227ef","datavalue":{"value":{"entity-type":"item","numeric-id":3498411,"id":"Q3498411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eec161ce849688be3fc539ca9460112b77d203d6","datavalue":{"value":{"amount":"+0.6968210935592651","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":"Q5178022$0560B66D-0734-436B-BCBC-F68490FB4746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"974765942d5eb1d2f1c8e6b105436b214689aff3","datavalue":{"value":{"entity-type":"item","numeric-id":1803658,"id":"Q1803658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43b0e19bf20fc6c3b5935e7cc65cafef850f6b93","datavalue":{"value":{"amount":"+0.6776649951934814","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":"Q5178022$3BB5B3E5-09EE-491E-AEFA-6757D7A7A4C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"646ac12cb418769177bd4e0c353925a615ce0dcc","datavalue":{"value":{"entity-type":"item","numeric-id":5096771,"id":"Q5096771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8200526580d6c4a93129f4429c33831ab9b56690","datavalue":{"value":{"amount":"+0.6769545674324036","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":"Q5178022$CB5DE8D8-2A2D-4860-A8F0-431C0D124AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83c21d84c32de2375f66966a5668cfeedf46b7b1","datavalue":{"value":{"entity-type":"item","numeric-id":430838,"id":"Q430838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8834343e8f2698e1d3cea779d437786a940cc93f","datavalue":{"value":{"amount":"+0.6767266392707825","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":"Q5178022$0994285B-86D0-4745-A6C7-8ED18774AE53","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relating models of backtracking","badges":[]}}}}}