{"entities":{"Q18666":{"pageid":18722,"ns":120,"title":"Item:Q18666","lastrevid":56215221,"modified":"2026-03-13T05:26:52Z","type":"item","id":"Q18666","labels":{"en":{"language":"en","value":"simpleAPL"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"257954a4767735244c410ba9fe008f979f03a9cf","datavalue":{"value":"6574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q18666$1F06237C-D92D-45BA-A01C-E8C9C2FFE189","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"a53bc264ff3f15209d37b7197506854de86fd20c","datavalue":{"value":{"entity-type":"item","numeric-id":3056325,"id":"Q3056325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q18666$1A739F5C-35E2-43FD-B3A1-AA85A3A804C0","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":"Q18666$C609AC22-77C8-4664-89B1-E9E1A1562B13","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"1c82260e5c2cb01a0c19f9b5bd179d554c5f20af","datavalue":{"value":"http://www.researchgate.net/publication/227198669_Using_Theorem_Proving_to_Verify_Properties_of_Agent_Programs","type":"string"},"datatype":"url"},"type":"statement","id":"Q18666$FEFBC7FB-107B-4166-8356-2CAC64AF394B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q18666$32090EE6-89D7-4CDE-939C-79E36CA50105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bebb7aa66b6973aa3a0c9749da8f6cd6626bb594","datavalue":{"value":"94","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q18666$2E2E9850-362D-4EC4-9E7D-54792D4BE928","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"dd501615b196ea2bb832f89bc3f754c766e8c745","datavalue":{"value":{"entity-type":"item","numeric-id":18320,"id":"Q18320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q18666$D831596A-B4DA-4C26-A776-ED42FDA5B278","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":"Q18666$C9A5D8F1-9053-4B4D-8CF0-827072AD1E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1c0fa686d109e2b3cc170bc5be54708e67b7bb8f","datavalue":{"value":{"entity-type":"item","numeric-id":18665,"id":"Q18665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q18666$283DA247-E636-409D-ACEE-C513D4DC657A","rank":"normal"},{"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":"Q18666$DE1C8934-44F5-4FD4-BC2C-DB3B35BA90DF","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":"Q18666$953F9A28-FB3B-4287-8695-4EB5CE34070A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cd85ea4235f75e500e615783d8111edd91d3a41d","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q18666$94652E58-8B2E-4C72-98F4-741CFAF5F324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e53fca05a36382b9b9504271af8846566c016799","datavalue":{"value":{"entity-type":"item","numeric-id":14703,"id":"Q14703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q18666$98E89704-B3DA-48A9-BAF3-796105A283A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"efaab49b30ce2ea44ab33e4fe0f661cc3e8bf571","datavalue":{"value":{"entity-type":"item","numeric-id":18321,"id":"Q18321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q18666$51F0A6C1-FA9D-4986-8302-9AFC1AEDB94D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"54e3dfd08242ee4c4a4f3f7baf548071aea535b0","datavalue":{"value":{"entity-type":"item","numeric-id":18660,"id":"Q18660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q18666$2931740E-9D5D-40DF-8FD4-84E3711A365B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0566ad334499237f2689386a24c3ff4452487d83","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q18666$143BE8A0-DB77-4E63-81D3-204D3A519DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2968d8c0d79451d342439c9dbce3f934d8586688","datavalue":{"value":{"entity-type":"item","numeric-id":21878,"id":"Q21878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q18666$D2674D16-ED3E-424E-99CB-5413E3B99E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"49693bd802cfe64cfaef53245c8a62825e66b49d","datavalue":{"value":{"entity-type":"item","numeric-id":19137,"id":"Q19137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q18666$111A6472-4D43-41B8-A2FA-C83ADA7870BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a1b00a71d27270a3b25a83a6286211f090736432","datavalue":{"value":{"entity-type":"item","numeric-id":14449,"id":"Q14449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q18666$7AD2C31C-F117-4B91-9AF2-0BE2CA2BA8B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"32eb0c8abe1b67b4df46bc8108bb18a63a80ff38","datavalue":{"value":{"entity-type":"item","numeric-id":17120,"id":"Q17120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q18666$F12F8577-D550-4A9D-A668-60B8FF5FBD85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d250f0ea25bc42a04c7e224bc04a7499b6e10f78","datavalue":{"value":{"entity-type":"item","numeric-id":13163,"id":"Q13163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q18666$EF482E61-97D0-4B14-AF91-B6BA04A510CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e96e01b4f75cfe0b42454676916a6d6570927853","datavalue":{"value":{"entity-type":"item","numeric-id":32673,"id":"Q32673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q18666$1E9E4F46-3DB6-49D6-B476-749B23CA8ED2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"SimpleAPL","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/SimpleAPL"}}}}}