{"entities":{"Q1199549":{"pageid":1210298,"ns":120,"title":"Item:Q1199549","lastrevid":66465108,"modified":"2026-04-12T10:15:40Z","type":"item","id":"Q1199549","labels":{"en":{"language":"en","value":"Inductive data types for predicate transformers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 94469"}},"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":"Q1199549$CBAC143C-CD2D-4792-B29D-EDBF901234D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a565f8e5722cb906a8d7bf69689db531c3df9b4","datavalue":{"value":{"text":"Inductive data types for predicate transformers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1199549$FA68DF94-3B47-4FB4-8BEC-833E6762F581","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3eec4beab5b70bdeea4972343def807d05e030eb","datavalue":{"value":"0764.68095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199549$43F796F5-639C-46B2-A87D-B7CAB4B7B3A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1963f40ed0a0fff8ff865ba2b43dd262c78cfe1c","datavalue":{"value":"10.1016/0020-0190(92)90001-C","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199549$5C20977C-8A9A-478B-AF72-3DC5FF1B5BE0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b3429007c66b8203ecd4096f5e6c5d58d31e79b","datavalue":{"value":{"entity-type":"item","numeric-id":236450,"id":"Q236450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199549$DBBC9131-236C-477F-B7BF-88CE49E46B0F","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":"Q1199549$1B11DAFE-324F-4E80-BE4F-EF4342EE679E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be1a65edbb43ce1fc59464f99e70afbd93e8e2a0","datavalue":{"value":{"time":"+1993-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1199549$57A7D03A-73F3-4A7F-B2C3-E57263B5E85B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199549$CEE12FA8-C9DA-4D43-BAAF-5F5527AAD01B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199549$41DD1CAC-B487-49D6-ADE6-95A98971F16A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199549$9A05108F-A2B6-46AC-A270-B3F2C2A6AA11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2e075a5a1ca77ffa965955326fd987018bc8e144","datavalue":{"value":"18A25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199549$5EC76434-3B2C-4E4D-8276-0017463D4FD0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f391028d6081e448be3e6ec4a773fd9db8a085a","datavalue":{"value":"94469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199549$2623AED7-7727-4B9D-AC6C-BACD276B28BE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ff5bd607face98a8a2d144348430666abf8ebc2","datavalue":{"value":"programming calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199549$3BF73808-732B-4B9A-AADA-21FDBDAA1906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"728818d2de29d948f096f35c669fa7265b9147f5","datavalue":{"value":"predicate transformers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199549$1FB92238-AC53-459B-BB47-174810959D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40e17a7cb8710771acd5402f91cff6ae2c7d64aa","datavalue":{"value":"refinement calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199549$81DD89B1-9DBD-4561-A854-E9F15CC8A63F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e26d42d8650e086e951e955a4dacfe9ac2642a0b","datavalue":{"value":"data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199549$B079A850-60F8-4620-8CC5-AB1129578143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e16c57e17f7a99e68f839e5878f15b9b3172751","datavalue":{"value":"catamorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199549$0494CB55-31BE-4FCF-A45A-5D84C6CE2E69","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":"Q1199549$A600C939-B327-4413-8556-FB104C3E7F6D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d99c5a0e13ee889036714bc5394088e5f34dd18","datavalue":{"value":{"entity-type":"item","numeric-id":1111362,"id":"Q1111362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199549$CF93340C-A6A0-4F7B-A7ED-55BDE4F2904A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9d15938425712ba384a35c2b5de52d3906d5874","datavalue":{"value":{"entity-type":"item","numeric-id":3986541,"id":"Q3986541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199549$914C1B72-FAA4-4DF0-9DA1-E3A7BC40D0F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bbbf7faec499e3b048aa800d9ae6c142df02880","datavalue":{"value":{"entity-type":"item","numeric-id":3137150,"id":"Q3137150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199549$5D4E06DE-CB73-472D-A69F-0DD80EF68AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e65a7c62d8ac53263b35784497f41cc4b969cd3f","datavalue":{"value":{"entity-type":"item","numeric-id":3995720,"id":"Q3995720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199549$479395AF-AFA6-47C4-B24B-2E37FA0E3FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"099ed24753c6cc2436c52e6d9ab3529d0f79274f","datavalue":{"value":{"entity-type":"item","numeric-id":1091121,"id":"Q1091121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199549$47326B99-E255-4804-8196-35E118038F94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dc1b1c6e90fd57884a0b795c855676b976827dc","datavalue":{"value":{"entity-type":"item","numeric-id":2525178,"id":"Q2525178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199549$54ED3CE5-CED7-483A-9C27-017D8327E88B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6df64544c0eec8ced5b78fbd60e68d3ae563cd8","datavalue":{"value":{"entity-type":"item","numeric-id":749197,"id":"Q749197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199549$A266BDB0-2AFC-4238-9A5D-DDF3B7AC741E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"943a523b7cbb0aa1180e62f02172f23674d20d4b","datavalue":{"value":{"entity-type":"item","numeric-id":3746866,"id":"Q3746866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199549$46D27BB7-6052-4213-A0EA-56622CA93F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8576dc8df0d7857399ab718724b601efc6d9d7d","datavalue":{"value":{"entity-type":"item","numeric-id":3996918,"id":"Q3996918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199549$12F914A9-59FB-4EAE-9F62-065B2DD3215D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4d7cec889f13e3c87f73d341283433e5ec896b56","datavalue":{"value":"Q127436296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199549$0466D8BA-53BB-4330-8430-3E597203B5E6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"071821da955de9535111d5a5bcf718635f83dca6","datavalue":{"value":{"entity-type":"item","numeric-id":1330667,"id":"Q1330667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a48acc9c890b961a139a8da7154cf09d6f812448","datavalue":{"value":{"amount":"+0.9331858","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":"Q1199549$2926085F-01FA-4635-92B9-7D28883517C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdccf55a31a201eba20246b7b0c52413d9bdfecd","datavalue":{"value":{"entity-type":"item","numeric-id":5958292,"id":"Q5958292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55aaf1cb39ed8dde344ae36353d57a2ac0e9dfbe","datavalue":{"value":{"amount":"+0.89416337","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":"Q1199549$2F017BEC-097B-489D-93FD-2D51F3D46884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eed914a304bc478669d4d5ddebf4e77ab164a5d5","datavalue":{"value":{"entity-type":"item","numeric-id":6102248,"id":"Q6102248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3618ae15308f6141ccc4f9e3324a5c0aaf2f643d","datavalue":{"value":{"amount":"+0.88687766","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":"Q1199549$B984AE86-7F8C-4A5E-9760-9B9D0BA9B254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdcd7ce5d3122259985344ba6f6fea59659057d4","datavalue":{"value":{"entity-type":"item","numeric-id":5168928,"id":"Q5168928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a05b16382f9caba37950d227514f72662424ae0","datavalue":{"value":{"amount":"+0.8818938","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":"Q1199549$6294E51E-9CE2-4EB5-92C1-6081E013391F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8657eab8a78b0f2c6a6c9bfa810ed3f53f6c6f5c","datavalue":{"value":{"entity-type":"item","numeric-id":5255069,"id":"Q5255069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee162d255fe58e2894a8bdb83bbea26467f52071","datavalue":{"value":{"amount":"+0.8659255","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":"Q1199549$FE7AC350-F71E-4D0A-9715-62BF4D81E4FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"199518c26887155607064620671f29c885713d7e","datavalue":{"value":{"entity-type":"item","numeric-id":672318,"id":"Q672318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2c615ef5a02d46b9aa562110f2d2f5583bc64bd","datavalue":{"value":{"amount":"+0.8604567","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":"Q1199549$A2AE264F-4FF9-498F-A82C-0955CF9CEE8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab2d1b8822bb2d80a8beb1b82396a045c8d20069","datavalue":{"value":{"entity-type":"item","numeric-id":5435638,"id":"Q5435638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46e0544734435aa0e7283a52a98cc0b9a17f0fce","datavalue":{"value":{"amount":"+0.85481435","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":"Q1199549$EAA8FC2A-EA8D-49B7-8C41-E3D7DF807582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb527df1e491c5b1f509797e5090cd2c7c389ce4","datavalue":{"value":{"entity-type":"item","numeric-id":1177155,"id":"Q1177155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"114f2798d6ef5e329922ebd2efa18de86cedfd6a","datavalue":{"value":{"amount":"+0.854255","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":"Q1199549$3667B02F-9A00-4002-BF8E-BB67184C7A9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b67969910583224a3306c0e15d490bca1fb01f3","datavalue":{"value":{"entity-type":"item","numeric-id":3569038,"id":"Q3569038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c42c218254cd56e8242142b013aa42cd3be8eac7","datavalue":{"value":{"amount":"+0.8497528","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":"Q1199549$83188BD7-D70A-48B5-B98D-95D4A1535D55","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Inductive data types for predicate transformers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Inductive_data_types_for_predicate_transformers"}}}}}