{"entities":{"Q7361814":{"pageid":31520981,"ns":120,"title":"Item:Q7361814","lastrevid":105369686,"modified":"2026-10-07T13:38:37Z","type":"item","id":"Q7361814","labels":{"en":{"language":"en","value":"Conditional Transfer Rule"}},"descriptions":{"en":{"language":"en","value":"AFP entry Conditional_Transfer_Rule"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"10b30868bcafbf1877a6e6473407b49fbed2ce4a","datavalue":{"value":"https://isa-afp.org/entries/Conditional_Transfer_Rule.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361814$A92A2EA2-CB19-484F-A2AA-16C5BEA01BFC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"18957d200fe2c6707b918f1bb8bf691a5624f8d8","datavalue":{"value":{"time":"+2021-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361814$4E8117B3-9050-4028-8C82-0B81096902F1","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"a738e4c63b1e8a2b5c81f7e7de071e7ee4c81712","datavalue":{"value":"Mihails Milehins","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361814$B97D620A-5AF5-4BBD-A237-DEEAF02928EB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ebdf8f4542dd4a9b8df39ac99622177957d9fb70","datavalue":{"value":{"text":"Conditional Transfer Rule","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361814$DD86F62E-E901-4B97-9ECC-736FA859C567","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fcd02933a1f594b78c680af1f7659b6121953f21","datavalue":{"value":"This article provides a collection of experimental utilities for unoverloading of definitions and synthesis of conditional transfer rules for the object logic Isabelle/HOL of the formal proof assistant Isabelle written in Isabelle/ML.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361814$1BEE73AF-656F-4F75-AC34-2D1DB38C1106","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"14533123e0b9e73c06f9737a070ee002c25f5f1b","datavalue":{"value":{"entity-type":"item","numeric-id":3612442,"id":"Q3612442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361814$0C3476A8-906E-414A-BD99-AA597A876D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d75dbd6831f5997bcd1e3a90202470be0212b0ff","datavalue":{"value":{"entity-type":"item","numeric-id":3638251,"id":"Q3638251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361814$3CABFEF8-F84B-43FF-9DB5-B85DF799A56F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a5cab1513e2457c77b799379237c33e5461fd89","datavalue":{"value":{"entity-type":"item","numeric-id":2829259,"id":"Q2829259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361814$7AEE6DC0-BCD5-4A38-B440-906634E64EB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d8e0ff8a7d0c4fc199c213531e4694eacc1d9f6","datavalue":{"value":{"entity-type":"item","numeric-id":2938044,"id":"Q2938044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361814$4743242E-3431-4A18-B9F1-08FFDE75E778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67c913a72527b57ea467866b24b8cfd23fe78226","datavalue":{"value":{"entity-type":"item","numeric-id":5747659,"id":"Q5747659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361814$2130B971-A213-4BFC-9BBE-FFE80AA868FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a1a0dcbfc561e1e5ffac774e9501a5c3c966797","datavalue":{"value":{"entity-type":"item","numeric-id":1722645,"id":"Q1722645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361814$09B57879-8245-46B2-BA97-6C10E16BC323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50b0bfaa5604fbbf1607bb7e54efdd2fee887b49","datavalue":{"value":{"entity-type":"item","numeric-id":5327338,"id":"Q5327338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361814$F67F3B1C-4995-4C13-A7D8-C86DECC7CBDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab8d7dcc337f0f7083d889ef5fbd195dbcbfcdc2","datavalue":{"value":{"entity-type":"item","numeric-id":4720797,"id":"Q4720797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361814$05B39352-6A2C-4CF3-8A1C-B243A9A5404E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2fa401b3f58fb4c2bc9ea2f71ee0d728db11587","datavalue":{"value":{"entity-type":"item","numeric-id":2986838,"id":"Q2986838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361814$78EFC73E-A87A-4665-8DFD-DB8B9A1AF908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e002a9754659cf7f51ada447f1ca688729d010d2","datavalue":{"value":{"entity-type":"item","numeric-id":2287890,"id":"Q2287890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361814$5D1F512A-0C99-42B0-8B01-1A040B8B7AC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2622e8892c0aaf09e727281c5cb9109808708d59","datavalue":{"value":{"entity-type":"item","numeric-id":2988665,"id":"Q2988665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361814$15CEB72A-AC94-4A2D-8227-F580403554FF","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":"Q7361814$D5916142-76D4-4C70-9514-A9A1CE4DDFB9","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"35972e4d852b9a97437a6c555f7480f3e52c8876","datavalue":{"value":{"entity-type":"item","numeric-id":7361511,"id":"Q7361511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361814$37AD91FC-0442-4557-BBC8-1856A4238F1D","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"7a918ca57cbef7417c708001c9499e7e295238c0","datavalue":{"value":{"entity-type":"item","numeric-id":7360836,"id":"Q7360836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361814$FED9FD3F-5285-475F-BE0F-CDFC7E755C34","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":"Q7361814$E2381A6B-DFD6-4D37-87DB-D955E8416179","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Conditional Transfer Rule","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Conditional_Transfer_Rule"}}}}}