{"entities":{"Q6083895":{"pageid":13218202,"ns":120,"title":"Item:Q6083895","lastrevid":94072622,"modified":"2026-06-05T05:48:35Z","type":"item","id":"Q6083895","labels":{"en":{"language":"en","value":"Codifying guarded definitions with recursive schemes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7774798"}},"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":"Q6083895$CDA22CC6-09C0-455B-84FC-09C2C16B2517","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"210b47b1e43f53aba1a5045283acd19b65e63909","datavalue":{"value":{"text":"Codifying guarded definitions with recursive schemes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6083895$F6A85F9A-D903-48F1-AB1A-338EDBA9C57F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55330731951d35a6c7a46d28a5208a72c1965d58","datavalue":{"value":"1530.03054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6083895$1148B1A4-FC2E-4B39-98BE-F6A8257178C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ecc07e8b19a86397cea6f65d2e3ab12b722e514c","datavalue":{"value":"10.1007/3-540-60579-7_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6083895$434BBDB5-E151-4D74-87BA-15E9E9423D7A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38bb4f1643f7c33d2586deac64c4cd72162e93e1","datavalue":{"value":{"entity-type":"item","numeric-id":6083894,"id":"Q6083894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083895$3BC6254F-7796-4628-B3DD-2C4D16A5D51E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083895$273AD6C3-E066-45CC-9B56-F6EE386EB731","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"80837e4f107d88dc61f75b08f8b7aa1a590aa151","datavalue":{"value":{"time":"+2023-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6083895$F6C95D15-8662-494F-A270-41950F06C001","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6083895$43DA7CD1-C987-4265-94F3-C11EBB349355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6083895$7F50BF5F-81E2-467B-B295-FAA215FB452C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6083895$DF3B4B61-A344-4A1C-9BE1-B996388FA3E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6083895$563A6C2C-A066-49DF-A882-8BF380FE561A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c865a7306e11bca6ec9f9f6e3d682518f44fed9c","datavalue":{"value":"7774798","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6083895$A4FA6885-604E-4830-A902-09C58D415C36","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcdf6cf35d926c0daeb463f96c3fbb54af3858b4","datavalue":{"value":"case analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6083895$8D55B171-1D21-4E8F-A05B-E19C0AE59491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a0dd3e1b83404196449aa90cc83aae915af1cf","datavalue":{"value":"proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q6083895$13EB9647-9BF2-4A2E-9994-8635E8F5DB71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4a800b667c18214ff04425473d9ae2da328b894","datavalue":{"value":"recursive call","type":"string"},"datatype":"string"},"type":"statement","id":"Q6083895$2383DD02-6237-43B1-9E74-0105283FA40F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff79e803a1c5d08a94972a742953580846010d37","datavalue":{"value":"reduction rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q6083895$DA8F7A78-C0F6-4D47-9EE5-9EE1B8C5AEF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bdbbb3335efa9ecfc3156c7962d1cc2567f782b","datavalue":{"value":"typing rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q6083895$B877DE74-D561-42CC-BA90-418261D24851","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":"Q6083895$ADE69725-2077-41E3-AAB0-C0C3B2ED6223","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e97a59ccdd9c9dd607699d212c67130598ad5457","datavalue":{"value":"https://doi.org/10.1007/3-540-60579-7_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q6083895$CF28DCE8-0951-48A9-944D-7F831F3303FF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9b447f2f3f476bf8e6fa5adf9f8571fe2474af6d","datavalue":{"value":"W1980786790","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6083895$280D8B6C-806F-48C3-97D4-7757CD3F24B8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edbd4db20ecbcbb1c315d5320a38ebf3acfa299","datavalue":{"value":{"entity-type":"item","numeric-id":3992552,"id":"Q3992552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083895$4EA83802-38DF-4330-B18E-C7E7B2132619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2b382496704c69d4ddd122d1fda39bebf3ce71","datavalue":{"value":{"entity-type":"item","numeric-id":4939699,"id":"Q4939699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083895$3796F891-BB8F-4463-A58B-9AD161375139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9579a4ebc8fc362938d3ee4c1626b4dbb8862f2","datavalue":{"value":{"entity-type":"item","numeric-id":4281483,"id":"Q4281483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083895$593B934A-01A5-4B06-B1A3-8079B0F2EB0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c2fea1c1f3bbaa5cfdd6d15172b810d0b5c9f01","datavalue":{"value":{"entity-type":"item","numeric-id":1318702,"id":"Q1318702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083895$59181730-59D9-419D-9904-DFC68F643587","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"552f672a1e7d366cb030df4c4ba35742c1403cf7","datavalue":{"value":{"entity-type":"item","numeric-id":805246,"id":"Q805246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81023476373fba68c1f0273b7a14a7d9323ea413","datavalue":{"value":{"amount":"+0.9063174","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6083895$F444A0E6-5F1E-4BF1-BBF9-436DC305C013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9892fc98bbefb0a9f2ddd559807aca5e8db6622b","datavalue":{"value":{"entity-type":"item","numeric-id":2949454,"id":"Q2949454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64fe50d60faef1f64e1fd016e228e705b3f77962","datavalue":{"value":{"amount":"+0.9024807","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6083895$F40E71B5-5812-43A3-BE56-6C51DBE65171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3b9de5df4a32ab306ac837d3212b60f4cbb6bea","datavalue":{"value":{"entity-type":"item","numeric-id":5244800,"id":"Q5244800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69761caab054e6819d2cb56807e1f98b69bcac08","datavalue":{"value":{"amount":"+0.8921606","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6083895$701284FE-22A2-44C8-BD8B-468E68E3CB44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10f6efc51f8f3332befa9fe44eae03bad6f085d5","datavalue":{"value":{"entity-type":"item","numeric-id":4635887,"id":"Q4635887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66c1f66013155c02fcda98c01f6c89da338dd537","datavalue":{"value":{"amount":"+0.8861226","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6083895$733B8647-87A3-418C-9FA7-CB23E240C254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"621873b917f0ca5585c6fd0d8f092cc8082690f7","datavalue":{"value":{"entity-type":"item","numeric-id":4623133,"id":"Q4623133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8705edb58b55db2820e6e78f7252be1f3f5c41f1","datavalue":{"value":{"amount":"+0.88612247","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6083895$74D3C447-A71D-4831-B7BB-9ED51D91E262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21d78b07d74319f5838ee1b4b5d03a4cd9859517","datavalue":{"value":{"entity-type":"item","numeric-id":4589616,"id":"Q4589616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80fb903ee208e245d8877796de4e4f5d68513abb","datavalue":{"value":{"amount":"+0.88428664","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6083895$7EA22148-6071-4B30-B7C2-50629DC2CA27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6922a340f259f222c652fb9237b5b015ff20319","datavalue":{"value":{"entity-type":"item","numeric-id":2974778,"id":"Q2974778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc80c41bc99271fb3a65416ad6c425689a81ee19","datavalue":{"value":{"amount":"+0.8815918","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6083895$2F222FD9-55C5-4941-B992-F6996ACC3F98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f77168cabc5174e77410c253f991d7f9d9a80ddd","datavalue":{"value":{"entity-type":"item","numeric-id":4992899,"id":"Q4992899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66678ac26a8d1f4c2e895f2165aa2be94007878b","datavalue":{"value":{"amount":"+0.88035136","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6083895$3080C594-9511-4807-B37E-D9C2E2F56A08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"707abc09905da1147c1a800f214238ce1eb70b44","datavalue":{"value":{"entity-type":"item","numeric-id":1704599,"id":"Q1704599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f59f238c41777b18941f5fe0d809d2058133448d","datavalue":{"value":{"amount":"+0.87972224","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6083895$6487C13B-AB1D-497C-B88E-42F235876D7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea2fd2ea949cff30d672bb1718381e792518d224","datavalue":{"value":{"entity-type":"item","numeric-id":5145367,"id":"Q5145367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e838d3137e5b907494a737b2d511cca80d067553","datavalue":{"value":{"amount":"+0.87570935","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6083895$4517324C-B79F-4C60-A863-01608BDB2BE0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Codifying guarded definitions with recursive schemes","badges":[]}}}}}