{"entities":{"Q40291":{"pageid":40347,"ns":120,"title":"Item:Q40291","lastrevid":105428204,"modified":"2026-10-09T10:09:17Z","type":"item","id":"Q40291","labels":{"en":{"language":"en","value":"KBPs"}},"descriptions":{"en":{"language":"en","value":"AFP entry KBPs"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"83ae6e001b934f7efe2055edab82aa968ff399ee","datavalue":{"value":"28577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40291$39267895-D17C-4E25-B082-217872B3D7B5","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40291$86026B03-A655-4B37-8210-1A48873AD2BE","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"6a9458e1375d3e0297e9da7817f26212c301d290","datavalue":{"value":"https://www.isa-afp.org/entries/KBPs.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40291$D581EE08-5E56-4B46-906A-12415D17766C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40291$4EF63435-5D7A-41EB-A86C-2DD5D12DBC49","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc44174134ebdf47602c8cdd38c964a365c11681","datavalue":{"value":{"entity-type":"item","numeric-id":21448,"id":"Q21448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40291$640408A3-F0D8-47FC-9454-8D2A16F99BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d89df1ecebe772c6d89beb27ab4eb1bd62721a15","datavalue":{"value":{"entity-type":"item","numeric-id":21446,"id":"Q21446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40291$8A5B01EA-898D-40CF-8561-0B4FA6BE3AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40291$4831C1C5-8AB8-40A5-A170-385ADE95D858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"feba23e7c41ba4aa38bf2dee9205344029ea237a","datavalue":{"value":{"entity-type":"item","numeric-id":40317,"id":"Q40317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40291$8E45C939-99B0-4F27-8A9B-5692B8E9D43F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc41d9364226bfa8139f8dbc43b1b77967245f13","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40291$D36ACE0F-B84B-42E2-80D5-8B599B218FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"6cbecb9cfb6a7c063787b7bf7c7ffb7fb3d64a59","datavalue":{"value":{"entity-type":"item","numeric-id":14558,"id":"Q14558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40291$8F4AF340-1A3F-437F-BA91-2690DB2CF814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40291$4473BC03-EB72-44C9-8062-0F7C9B2F1326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ecda3e6d8e971c0b93d4cf3afb41990e853f830f","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40291$ECC42D08-5AD0-42B8-8302-404532674744","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c55817fc8404e71ef070cf40185de3a5acee2da","datavalue":{"value":"https://isa-afp.org/entries/KBPs.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40291$FB795CFD-841D-49B1-8B8A-BD8E864CFA23","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"81cd49afe7b0c7730911232a5003ad6efb86ef85","datavalue":{"value":"Peter Gammie","type":"string"},"datatype":"string"},"type":"statement","id":"Q40291$282FFF9A-3634-430F-97A9-D4C1F4DB2C80","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"53889439efa990832eb121c08722e432683bdfc5","datavalue":{"value":"Knowledge-based programs (KBPs) are a formalism for directly relating agents' knowledge and behaviour. Here we present a general scheme for compiling KBPs to executable automata with a proof of correctness in Isabelle/HOL. We develop the algorithm top-down, using Isabelle's locale mechanism to structure these proofs, and show that two classic examples can be synthesised using Isabelle's code generator.","type":"string"},"datatype":"string"},"type":"statement","id":"Q40291$773E5DFB-4BCA-4966-91E8-7D645A522D9D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"403738ebc449032b2c0b132c2ef1a436783bf929","datavalue":{"value":{"entity-type":"item","numeric-id":3183526,"id":"Q3183526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40291$556B14BB-1979-41A6-8139-ED7595F50B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40291$40AD860F-803D-4F88-BB70-4A3BFAC03C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86a51682206d507eefa10fca5eab6a2bf98ec271","datavalue":{"value":{"entity-type":"item","numeric-id":1763061,"id":"Q1763061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40291$D0375DEF-1BD6-4F8B-87EF-130AF963C052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ea1e49654139a8bf01fb7d2509265fe22e72d56","datavalue":{"value":{"entity-type":"item","numeric-id":1026424,"id":"Q1026424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40291$070788B0-030A-460C-AAE7-3769DA9A771E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b5d4373326ddacd5ad0928810272cc7a23b3585","datavalue":{"value":{"entity-type":"item","numeric-id":5312933,"id":"Q5312933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40291$8ECAD3C4-6883-4F33-B9BE-47E19C7B3132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc65e36060e1ae572d6566999dbaedabd05f274","datavalue":{"value":{"entity-type":"item","numeric-id":983522,"id":"Q983522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40291$3B2E876E-F3D1-4ED0-B921-0EE6790B7D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22a5a326924c9f9f3cf0f5061fb0ff950ccfad0d","datavalue":{"value":{"entity-type":"item","numeric-id":5747660,"id":"Q5747660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40291$1A94AFB1-EA96-49CD-A28E-FEB4D3BB1248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dea4591678b15a6cab034d35b86cc0cea33c36d","datavalue":{"value":{"entity-type":"item","numeric-id":2565501,"id":"Q2565501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40291$924113B5-A8DB-4FA4-A223-D569CECA23AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"857d58e6cf6a08774c10e1ecad1e4218c0cb01d1","datavalue":{"value":{"entity-type":"item","numeric-id":5705941,"id":"Q5705941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40291$7CCE27A8-CBDA-4B57-8022-98F60F9982CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f76b2805ab30acd042efa64a78eed36e3cf5fb85","datavalue":{"value":{"entity-type":"item","numeric-id":2370664,"id":"Q2370664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40291$94D20528-A884-425C-AF5C-0D67228C5B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9689d3285995afb42633d6587b8f7ef68cfb9e38","datavalue":{"value":{"entity-type":"item","numeric-id":5756774,"id":"Q5756774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40291$C2634DA6-FD97-4F23-BC7B-C5217AC78822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efd8ae02adfedbc0c31ce15b0873e8f177400bb2","datavalue":{"value":{"entity-type":"item","numeric-id":2554307,"id":"Q2554307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40291$6231459D-7D3F-4C49-86EF-2C20073B3D76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91ed9fc3eb12713a9175063c08eca78a2683dead","datavalue":{"value":{"entity-type":"item","numeric-id":5137342,"id":"Q5137342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40291$FDC795F3-669F-4AF7-BB9C-2CF0E3708F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d50c524c53d7f49976000982a6078db3bc09507","datavalue":{"value":{"entity-type":"item","numeric-id":5506377,"id":"Q5506377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40291$B52F6323-ECE1-4AC8-A009-264D00D4A083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94a2193ae14199da925d7af311a9e576826127c4","datavalue":{"value":{"entity-type":"item","numeric-id":1383157,"id":"Q1383157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40291$70EE517E-2252-4F0A-93B2-D3B10CCE6894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bab0742153e7c673f92f7bcfbd9abb7d04d6539","datavalue":{"value":{"entity-type":"item","numeric-id":1193742,"id":"Q1193742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40291$263DC126-7080-4B2A-86B2-F8DAF626DC3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49821ed381a97cd75d73a147e2022ad36627abe3","datavalue":{"value":{"entity-type":"item","numeric-id":5738907,"id":"Q5738907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40291$AD7646C4-F479-4385-A103-02C0CBAD74FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f6c194330051269cbb2031658aa6b4220e257c","datavalue":{"value":{"entity-type":"item","numeric-id":4702189,"id":"Q4702189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40291$51C4EA33-76A6-4D94-8879-2F3904654E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c6ae9995834210b0974f14d3d0975fe462d18d1","datavalue":{"value":{"entity-type":"item","numeric-id":4508297,"id":"Q4508297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40291$40423542-C5C4-45A6-9450-A8BDED81698C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40291$2291026E-DE5D-4437-AF64-E2B31A18ECFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"931c42c28f22f89fe1b66164f9ececc2021ac1a2","datavalue":{"value":{"entity-type":"item","numeric-id":3558332,"id":"Q3558332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40291$E7B72046-4985-4D92-952D-316C9396BED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fe5b32ebe1b29b2edc3575e3da562e9dea8cd2f","datavalue":{"value":{"entity-type":"item","numeric-id":3376919,"id":"Q3376919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40291$A0F95D37-176E-4FEF-AA0A-CD51BA607CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2be2ce44bdf80df52f5a97dfe72ac01ea51570a9","datavalue":{"value":{"entity-type":"item","numeric-id":4045961,"id":"Q4045961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40291$2BCFC2DA-796E-4D2A-AE08-6BC20635EBE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c704ff998b44e195f6134a4f2cef8f379bf3acc","datavalue":{"value":{"entity-type":"item","numeric-id":4180316,"id":"Q4180316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40291$EA5C19C5-FBFB-42CF-AE9F-2D897EE6CB62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40291$F362171E-1626-42AB-A63E-FDDA18B350CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fa25ecef461a83ce03679a7bacb00b33cb4090","datavalue":{"value":{"entity-type":"item","numeric-id":3801084,"id":"Q3801084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40291$E22BA556-9634-4961-BBC4-413AA81C1B7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68be494fc7d5864d1d2b8840b65dee952d16f98a","datavalue":{"value":{"entity-type":"item","numeric-id":6567777,"id":"Q6567777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40291$09D78C7A-984E-4693-AB18-0962EABC22F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5a70244376fd4d1562b321cd168af407a5c82ef","datavalue":{"value":{"entity-type":"item","numeric-id":3574001,"id":"Q3574001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40291$C5F2EF20-4695-448E-A89C-E34FAAFE5071","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"1954018ee2fbe7a1674df4032b4e8f1c6489eae7","datavalue":{"value":{"entity-type":"item","numeric-id":7361316,"id":"Q7361316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40291$C7041D2B-5C1C-4B46-94D7-C97292322F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"b3a2297d5bff32b90586f57127478a7b0e327c28","datavalue":{"value":{"entity-type":"item","numeric-id":7361170,"id":"Q7361170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40291$6ACCCCEA-E5B1-4CC4-8B7F-9FB6601A6024","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"83c297f9d20352ea42cab9969ba7b8ed227e2a66","datavalue":{"value":{"time":"+2011-05-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q40291$8811256A-DE41-41F4-A840-9B15511623BD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8b256d9789a74bd941bc6c5a5c7dec2c0ecfc369","datavalue":{"value":{"text":"Knowledge-based programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q40291$95ACD08C-CDC3-40CD-B4F0-17782FE21EC8","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40291$59AB540D-CD61-4719-93A7-C85E338C4F16","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"73d93a21b0749f7f2c51d7daeb11b162660cd756","datavalue":{"value":{"entity-type":"item","numeric-id":7360784,"id":"Q7360784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40291$17C05C88-6B05-48D3-80B3-60B012AC29EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"KBPs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/KBPs"}}}}}