{"entities":{"Q6864436":{"pageid":20683231,"ns":120,"title":"Item:Q6864436","lastrevid":84244271,"modified":"2026-05-14T03:19:44Z","type":"item","id":"Q6864436","labels":{"en":{"language":"en","value":"Lazy reimplication in chronological backtracking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8154403"}},"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":"Q6864436$869FA45C-67B5-414B-8A1B-D38AB1C40DD0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"36fe07dce0f4cd821d6448d135f28c2f451a95a8","datavalue":{"value":{"text":"Lazy reimplication in chronological backtracking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6864436$4A987761-F48A-452E-AA58-3C46E7BCE749","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"873e8b301258c47ba53f0995b020481ce8e5c423","datavalue":{"value":"10.4230/LIPICS.SAT.2024.9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6864436$F3E6286D-658F-416F-ABDA-DE6D5C37AE95","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da4a0e9cbc7eb88d7f26443eed4f29f52cdc3984","datavalue":{"value":{"entity-type":"item","numeric-id":6492739,"id":"Q6492739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864436$E6907A98-A78D-4786-8494-4D389C6BEAF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef26cceb99c4befe66da5792d77abe576a865b4f","datavalue":{"value":{"entity-type":"item","numeric-id":287337,"id":"Q287337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864436$C95595D5-0819-4E52-BCE3-4B0A1CC56FFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f17059e6c6c8a57972334867cc4d511b5d1368f5","datavalue":{"value":{"entity-type":"item","numeric-id":507357,"id":"Q507357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864436$2829E2BB-3195-43FC-95E6-97218F7455DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ed61ba796b09d24654b6e63953d4a9b1b60a75c7","datavalue":{"value":{"time":"+2026-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6864436$64630E0D-1BB3-48B0-8BD4-535389DB496E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6864436$1F185BED-AF20-438A-84A7-F4121D0690AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6864436$96015B80-2D6B-46BF-9A67-87DD471A9D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6864436$4681F6C4-BA06-4C33-BFF9-A0C9DA5C9333","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc1ec16019acb7fd9b8fff2308524bb5a7a230b2","datavalue":{"value":"8154403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6864436$E43FCB90-7BEC-4677-9225-D9EE405BA323","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864436$803E4CF3-E28D-4EA4-AD42-EDAA52639C27","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e078b5bc7c19397ebea6060ff5bd13fa815ed5e","datavalue":{"value":"chronological backtracking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6864436$A3A861CB-654B-4800-9C82-257B665C7607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c1009ce042b040215adb43e7bcff2e776d98ed6","datavalue":{"value":"CDCL","type":"string"},"datatype":"string"},"type":"statement","id":"Q6864436$9E9B1F70-F407-4AF6-85B7-E83EC5DB4E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09ca32413f1d623ef3eb8d4a14ac759e926ea85f","datavalue":{"value":"invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q6864436$6142008A-17AE-44DB-915D-81F672EA2EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f62326115d24135e941b8c563540dc7e7e2ae63c","datavalue":{"value":"watcher lists","type":"string"},"datatype":"string"},"type":"statement","id":"Q6864436$24FD0DEA-0D42-4BC2-BC63-904095F4699F","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":"Q6864436$6A227686-EA6F-455C-B6F2-668EED96E220","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"03526791996a8ac5d2e9e5c45ddcb96c84819bc0","datavalue":{"value":{"entity-type":"item","numeric-id":3502690,"id":"Q3502690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864436$11CF1677-97C2-442D-B5EE-3BE0347D3AD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98b011ab831949ce741780553369025dd5b73c2d","datavalue":{"value":{"entity-type":"item","numeric-id":5148371,"id":"Q5148371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864436$5BA0D90D-AADF-4E29-861E-00C78F56BA07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6907f9eefbc6a938f24222925f9a5e012e01c300","datavalue":{"value":{"entity-type":"item","numeric-id":3181647,"id":"Q3181647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864436$E6B0B08D-2C40-4242-9889-62D428CB2CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbd7ae8c2140af65cf6052035de3824cc504fc98","datavalue":{"value":{"entity-type":"item","numeric-id":2661333,"id":"Q2661333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864436$F48BDD3C-70C4-4701-B662-290618C90E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75434ef849c3ec6704b06b6fb305736b6e78f3f","datavalue":{"value":{"entity-type":"item","numeric-id":2749862,"id":"Q2749862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864436$E1D48939-6A1A-4444-8F3C-00452230C84A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7303d2a9d49ffe50ca6cf78502741fba3469827","datavalue":{"value":{"entity-type":"item","numeric-id":2181937,"id":"Q2181937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864436$4A6DCD6B-8213-4014-BEB7-120FA971B192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b68f752b438e7dc14eb35e34141f6af3406e4373","datavalue":{"value":{"entity-type":"item","numeric-id":6572019,"id":"Q6572019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864436$FE356EC8-7315-4DA7-9C02-FFDC2B0DABA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbe65bb605327207eb9f770b57bfc9ecc6a4cb45","datavalue":{"value":{"entity-type":"item","numeric-id":1656569,"id":"Q1656569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864436$395D4A2B-5729-4960-BA00-298FBEF4CB3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9269e64d2adca53bb2f298ca1a02b550d98c27a7","datavalue":{"value":{"entity-type":"item","numeric-id":4571400,"id":"Q4571400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864436$70B129AA-03D8-4D5B-AF31-4E431CFEDB2C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lazy reimplication in chronological backtracking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lazy_reimplication_in_chronological_backtracking"}}}}}