{"entities":{"Q1144368":{"pageid":1155117,"ns":120,"title":"Item:Q1144368","lastrevid":66235836,"modified":"2026-04-12T08:27:07Z","type":"item","id":"Q1144368","labels":{"en":{"language":"en","value":"Program development: From enumeration to backtracking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3692626"}},"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":"Q1144368$AB79F98D-D965-4B12-A0E0-CC44B985AD84","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"96fd5deed43b2db37a034959269f4abb5f41749c","datavalue":{"value":{"text":"Program development: From enumeration to backtracking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1144368$488EA1F6-BC51-46FE-8887-7274D9E35B0E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b6fc9b91580f04cb376fbfbb81c7b664ab5a1cf3","datavalue":{"value":"0443.68011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1144368$DC01D078-FB0C-427D-B3A5-F5D3AC896512","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"73d986ad82a3f26bea22be4441c40d2b95d9c771","datavalue":{"value":"10.1016/0020-0190(80)90138-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1144368$2C9ABF68-5605-4E2A-87DA-53599CF07DC6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8fe0ba64045f6b8bc93a417d90524c47759b2541","datavalue":{"value":{"entity-type":"item","numeric-id":213032,"id":"Q213032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1144368$1AF8513C-A3D5-45B9-A52C-860115A7F7F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a63343326dc3782dfaf32190a15d54584cc577d5","datavalue":{"value":{"entity-type":"item","numeric-id":541294,"id":"Q541294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1144368$1F2AFA4E-2145-47AB-9F26-71C73BDF8556","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":"Q1144368$1BD51131-74AA-4DDC-AE03-54D75CEB97C8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q1144368$184E7682-CA54-406D-B6C9-1694BE840ABF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1144368$80DA596E-8CDE-45C1-B812-F2AD619D3F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ed1e3c6cced595a05b8ae19055521b22405b78a","datavalue":{"value":"68W99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1144368$63C1CA3A-6929-460A-91FC-E196F2565037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1144368$41754A48-BCB4-4D15-8F76-39E16F48BA3D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"818322f5e2b13a22e42470d6da1d26329401ade9","datavalue":{"value":"3692626","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1144368$FAF11394-9BD1-4CF1-95C4-B92E3136CB1D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"816681eea21269f3ad56375e4f8d7d873b144eb6","datavalue":{"value":"enumeration","type":"string"},"datatype":"string"},"type":"statement","id":"Q1144368$9140C46A-F6F1-4433-8EBC-FE88D1550355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4331d0d7e79cdba09f0cc8baa766dd5dc4da9c2a","datavalue":{"value":"exhaustion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1144368$9E80C1C3-EE1B-4EFC-9440-EFE609813E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e8fe75ecdeef7e0425c4bb1338f9134c5adf0be","datavalue":{"value":"backtracking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1144368$9454CAC4-10C3-4C28-A3F4-78EF6D201D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8199d3c167bb7194c1f4325dd8abc9ea993e9d4d","datavalue":{"value":"program development","type":"string"},"datatype":"string"},"type":"statement","id":"Q1144368$15BE90C9-72E3-4C0C-8B11-85C2249F0E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df198e9539af8ee1221a27fc303d184b5cc81a2c","datavalue":{"value":"program proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q1144368$C24FD95A-DE85-45A9-9B5D-9C5CCC3E76F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1144368$1495AA7D-0538-4007-872D-B2B2E3261665","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":"Q1144368$96461B63-B18A-4C68-A9A8-4DCA85714B01","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"740195b9a3026ca3fdf1ae01a75962042ee42378","datavalue":{"value":"https://doi.org/10.1016/0020-0190(80)90138-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1144368$DB7925D6-59AB-48C2-8ACD-5EDA91B1278C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"62ca903e83c2b05cfec0c53f4f5fe1b2c37eaf29","datavalue":{"value":"W2060408210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1144368$DD5118FD-FDBA-4101-A9CF-57AF4BC8756D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"641c68ab694ad36f047a11059483babfe762b7ce","datavalue":{"value":{"entity-type":"item","numeric-id":4191560,"id":"Q4191560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1144368$858205ED-00C6-4843-BCD2-885524BDDDF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19fb6d7f3f1cccd15ce00adc4bf2837f4b5b022d","datavalue":{"value":{"entity-type":"item","numeric-id":3947094,"id":"Q3947094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1144368$D54D88AE-D600-4134-992E-75177683060F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc6715e5cd5d4fdf9b0b0bd81a0610d95309330f","datavalue":{"value":{"entity-type":"item","numeric-id":4194409,"id":"Q4194409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1144368$12B6F555-0CD0-4EEC-84E2-A48C9AE3B710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d51324b4284c2ab875f11923ff7cc4c99d193a2c","datavalue":{"value":{"entity-type":"item","numeric-id":4122770,"id":"Q4122770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1144368$8EA182FF-A4B3-4C5F-9BF5-6518E45EA69D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa16e6416dd6ba3cd4369c33aceab55f8a9279b9","datavalue":{"value":{"entity-type":"item","numeric-id":4184294,"id":"Q4184294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1144368$FFAE7D76-222A-4795-81D0-55603CA137E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41e4182d9b0b8ee70c5b7c9ff32bcfa63e323635","datavalue":{"value":{"entity-type":"item","numeric-id":4136537,"id":"Q4136537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1144368$7923FBDE-924C-422A-BD7F-D1A238FF5CA9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Program development: From enumeration to backtracking","badges":[]}}}}}