{"entities":{"Q4583319":{"pageid":6612904,"ns":120,"title":"Item:Q4583319","lastrevid":97856636,"modified":"2026-06-05T15:38:39Z","type":"item","id":"Q4583319","labels":{"en":{"language":"en","value":"Representing any-time and program-iteration by infinitary conjunction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6928168"}},"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":"Q4583319$EA859429-3C34-42BB-9E59-89B7F22C0EC1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f6a04f1533ce880d734cf2fa8a3f358af8121875","datavalue":{"value":{"text":"Representing any-time and program-iteration by infinitary conjunction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4583319$0989CF92-5033-4042-995C-AEC4A13706D0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d1d8dc91370ad4036a31ccd8fc75340cedbd194d","datavalue":{"value":"1398.03094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583319$1814D4B6-B153-449B-94BE-0639F25B5A41","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e637f895fb084545ea1e864bf4b1c2e15678dd6f","datavalue":{"value":"10.1080/11663081.2013.830402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583319$267E882C-84AC-4D25-BDF8-9E8EDA86D6C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b08dfd6f0c1552627dfd33698447ccae094e7af5","datavalue":{"value":{"entity-type":"item","numeric-id":266882,"id":"Q266882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583319$F711030D-A504-4F1E-BD43-6FA53C192167","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583319$BDD589B5-0949-40A0-92AE-F4D3E3F8CB13","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d1a7e956705fd1b7f7e3c263c8e7183d11ad0ebd","datavalue":{"value":{"time":"+2018-08-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4583319$EEC04F2B-18DD-4A1D-8A93-DF485E6F5C8D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583319$E630FEB1-0FB5-4FCF-AF6D-F73C926C9F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583319$6E7BE420-5693-44A9-B4D7-024A0C872BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583319$8A750272-14C4-4C40-BD33-27624EF5C004","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb0708236e742e24d85ddf68983479cd46df6df5","datavalue":{"value":"6928168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583319$D7E34516-A29D-4105-87F6-1BF63AC2B611","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a38fc1251e9bddc7b05d68392a5a950cf84b1e7","datavalue":{"value":"any-time operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583319$7961490C-4BFB-49C5-8B15-FEBF104BC866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89674313be3e094b57b75833923ff5dafe61a3cd","datavalue":{"value":"program-iteration operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583319$F7109B87-B90F-44DC-8D62-8E1995691DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26aa66bd8c233eb4164917ce73f7f3872e2b42bb","datavalue":{"value":"infinitary conjunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583319$C8F2A9E8-35A3-4693-A330-A47502919FE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669e1ab0be3b0e96a51a2ef7e433c212210f37a0","datavalue":{"value":"completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583319$13E699B6-2E8E-4DFC-B1EF-608D5F22F48D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97cfbdd458b576a7e018dc279ea34c5cb4040b6f","datavalue":{"value":"cut-elimination theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583319$8705A1B7-1CF4-43C6-8E97-D28B75C39664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f50d6bb1d24a2990e05699b64094dc07a0b89912","datavalue":{"value":"prior's tense logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583319$A1989452-7975-40FF-AB7B-37EB54D84ABB","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":"Q4583319$C25AD2E9-3451-4B86-B785-68AAC14509BB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d725de8f383443d9b3dcaaa41e71764df3c20841","datavalue":{"value":"https://doi.org/10.1080/11663081.2013.830402","type":"string"},"datatype":"url"},"type":"statement","id":"Q4583319$AD140DD6-8054-4410-88E5-C8D91035B34E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aa8a562c3a3ba608d02101350ae5dc15b4f63f21","datavalue":{"value":"W2036991276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583319$465D00D1-512B-449D-A921-4C14E7975FB5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb019838f7e83d63569fdc9c7d517b95c9c37f34","datavalue":{"value":{"entity-type":"item","numeric-id":3714043,"id":"Q3714043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583319$EB933713-B666-47CC-B34C-53336A70253B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a45a747987605de7892fbed09e314bbb40e837e","datavalue":{"value":{"entity-type":"item","numeric-id":4938418,"id":"Q4938418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583319$51DFFE85-D4C0-4621-BA55-740915317816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583319$23E49259-4A0E-4031-8DEC-F5C8A4F1B905","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":"Q4583319$929D7D47-302E-43E9-AD21-9DD5016277D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583319$784F1F32-4FD5-4490-AF15-6A04634EA148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b1b567d0562bf33afe8e81e212f024b5c5a9fd6","datavalue":{"value":{"entity-type":"item","numeric-id":3393380,"id":"Q3393380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583319$DB9FFE7A-8AA0-4632-B498-0CA92194A6F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce6c0c3cfe49a3d2843a935328bdbf41639c6491","datavalue":{"value":{"entity-type":"item","numeric-id":975875,"id":"Q975875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583319$93B12ED1-CF13-405C-A9F6-AAE0EC8B076C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35e807ca0d12053bab51b75bb8a7e28c523159aa","datavalue":{"value":{"entity-type":"item","numeric-id":3246315,"id":"Q3246315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583319$C1CC9FDE-A20D-40C0-93FF-721C5016DD3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"016c26073336456ad938f5b7e58a2ad66e4632b0","datavalue":{"value":{"entity-type":"item","numeric-id":5556395,"id":"Q5556395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583319$99B65DA1-FD90-4FD0-8B25-4A40AA7B2866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3652d520789475601e366029ce7b257ab62a1ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5905909,"id":"Q5905909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583319$194FB3C8-AD3C-494D-906B-BB0D1E5B04EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fed3f5af94e9446026f5e3d9e6e5868640a2a430","datavalue":{"value":{"entity-type":"item","numeric-id":1295444,"id":"Q1295444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583319$709BCF41-4D03-4886-A4C8-51B64288CF83","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ab2d1a611f67d730cf7a27111da5d73cc0560c5","datavalue":{"value":{"entity-type":"item","numeric-id":1326573,"id":"Q1326573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40ffd8c033808a90a42caf53759bd86a25d65e02","datavalue":{"value":{"amount":"+0.8662484","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":"Q4583319$802FA700-4615-4A24-9C07-A514B22D6948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e30df88b697138c25fdba62ac82539b838831aaa","datavalue":{"value":{"entity-type":"item","numeric-id":4222884,"id":"Q4222884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f787bb280dee5328539d83c033c6530df0429eb7","datavalue":{"value":{"amount":"+0.8596072","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":"Q4583319$A0ED94B7-E5E6-44D4-9B5D-64B192F0E289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69774367d5a74f4b463c400a62bd6a629de91fc4","datavalue":{"value":{"entity-type":"item","numeric-id":3221399,"id":"Q3221399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49fa5c1e13bfcf824fb3c75246428001bdfbc339","datavalue":{"value":{"amount":"+0.8539868","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":"Q4583319$FE0AD2B9-D4E4-4354-B549-D7718B58A352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"528e43eef8610b42912025a3bbad6632b4ed3fe7","datavalue":{"value":{"entity-type":"item","numeric-id":5472882,"id":"Q5472882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99b5216e98053b2d87b6b08a6825000194feceac","datavalue":{"value":{"amount":"+0.8536888","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":"Q4583319$A9EB4EE9-9ACC-4E18-BF8F-806C11908747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b9497653d5d95ad5efdb22bfc36e3a08133fda0","datavalue":{"value":{"entity-type":"item","numeric-id":5688918,"id":"Q5688918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e1f227eb928824d7899bbfe8d38bcced42f0936","datavalue":{"value":{"amount":"+0.85327846","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":"Q4583319$B00C9C05-6EF3-4B60-AC00-6EFE0B159295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"752850fe2fbdf8b5155c87fe9f528f76f38f10ff","datavalue":{"value":{"entity-type":"item","numeric-id":3746904,"id":"Q3746904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26dcff23f5fa4f5b74411dc2d771968dce8706e9","datavalue":{"value":{"amount":"+0.852845","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":"Q4583319$410EA1B9-D852-495D-AAF4-E5296DC3C6BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78f6fec2d4c159b7b8d818a7a032bde98a306f91","datavalue":{"value":{"entity-type":"item","numeric-id":884993,"id":"Q884993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efd46e94725b3d5e0f6cb9a05b2db7b119c8a2ef","datavalue":{"value":{"amount":"+0.85226643","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":"Q4583319$D8F6052D-D3CE-47D6-92B1-324CE08265CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f79eb5dfec092432cf602434e44477be294c9dc","datavalue":{"value":{"entity-type":"item","numeric-id":1762733,"id":"Q1762733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bd739fe17a73c838cfa01bbd5ad08ed7f29d220","datavalue":{"value":{"amount":"+0.852148","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":"Q4583319$E9BAF0BB-94D1-4429-ADDD-6180F2983F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b4fcb683569b350c0df669ee54f810f2b4569f2","datavalue":{"value":{"entity-type":"item","numeric-id":3768365,"id":"Q3768365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aea92eabcd0e29dc186db306250ff7fe036d31ba","datavalue":{"value":{"amount":"+0.8514432","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":"Q4583319$BD47E726-C58F-4383-9650-C1C81DE74FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b97e8849354599cb267dc00f0209c1aff2ad523","datavalue":{"value":{"entity-type":"item","numeric-id":5248980,"id":"Q5248980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ab60c6091daecd8d4b8a1078593125700d2d77a","datavalue":{"value":{"amount":"+0.84971297","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":"Q4583319$40B29B1F-A0A8-4C3D-AEE1-2082BD35EB6A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Representing any-time and program-iteration by infinitary conjunction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Representing_any-time_and_program-iteration_by_infinitary_conjunction"}}}}}