{"entities":{"Q1398672":{"pageid":1409412,"ns":120,"title":"Item:Q1398672","lastrevid":70331535,"modified":"2026-04-13T14:03:32Z","type":"item","id":"Q1398672","labels":{"en":{"language":"en","value":"Infinitary relations and their representation."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1961600"}},"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":"Q1398672$83B98958-29C9-4655-9F58-EB0D2E8E1E6A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ebbe806adc8a813e322ca28ca08b7a73df451614","datavalue":{"value":{"text":"Infinitary relations and their representation.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1398672$50CE7F6C-47AA-4048-AA6D-69850D51665D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"15493ff8a9f065f1e420d5681a1d0f2c68f190ce","datavalue":{"value":"1047.68136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398672$7C370E2E-CB27-4B19-B3DF-2C8DD6E90CA6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3b77442df2a240d0316384c8b2d8e0bf3c52a73c","datavalue":{"value":"10.1016/S0167-6423(02)00130-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398672$0234707F-D399-48CD-8C7D-EB11B347D722","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b24ff82e9eaca3758943fcee7e982a45635141ca","datavalue":{"value":{"entity-type":"item","numeric-id":845248,"id":"Q845248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398672$D331CBCA-7451-4BBD-9476-3256F050206C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398672$FF2E21B9-314E-4220-A4A3-711D04CB285A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8675d4e82e5e7ab948eb20cb416d2e93a38ea5aa","datavalue":{"value":{"time":"+2003-08-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1398672$9EA0F5E9-A096-4826-A6F4-DF46207899BE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398672$3C33045B-C858-4A7A-971D-41E7B510A461","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"22088be97b21a8f8a16337f61e1e6eeb34b18ca4","datavalue":{"value":"1961600","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398672$FEBE6370-711E-45D1-9F04-0469EA14D20E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6a0a073691266b0ecc66980e46d2aca401a95ab","datavalue":{"value":"BDD","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398672$0A99FC8D-DCFF-4ED7-8E0A-238F5326FDB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ebc007817668457cdf6a37075cc0f625f5d36be","datavalue":{"value":"Infinite functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398672$CA92BCE7-A94B-4EC3-A2CD-B57A13D838E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5541349f29c25ba6a0be12f614381c30b7057b17","datavalue":{"value":"Model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398672$74768ACE-79B4-49C7-8C12-5E8220F73EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4eee5b531b827d340fd5e45b644a81c495eb959c","datavalue":{"value":"Static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398672$844A75B1-CB1D-439F-8DF5-33819B4F21C4","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":"Q1398672$2BC1FC9F-7D35-491E-8C5C-0B96BB10AEC5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f98e4509e247bb6ee594d34cb2a2af4d8ee8a37","datavalue":{"value":"https://doi.org/10.1016/s0167-6423(02)00130-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1398672$2299260F-B673-4456-8AF3-D73EEE339B40","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"24d5c33c820c5ee5447afd4a15b620a5a3ee8706","datavalue":{"value":"W2165618977","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398672$25AD9A29-3732-4B49-92A4-168F99FB1C70","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b46e4a6795db658a81d6ce45e0089e8a4943ab2","datavalue":{"value":{"entity-type":"item","numeric-id":4494376,"id":"Q4494376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86f161dbb170d1e2c1d70aba2c75f71a978e58d6","datavalue":{"value":{"amount":"+0.8280333876609802","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1398672$6B568E01-EDD7-46F3-96C4-1438096E7E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22d4cde8cf626bcd748856e695edd6b05609d4c9","datavalue":{"value":{"entity-type":"item","numeric-id":1428568,"id":"Q1428568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22fd21f7a397452234211631984e8af859729c0f","datavalue":{"value":{"amount":"+0.7946889996528625","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1398672$9CFCE871-D818-4CD7-BC1B-396B556556F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce67737928309119a68430e16d51b9628f737f31","datavalue":{"value":{"entity-type":"item","numeric-id":3176365,"id":"Q3176365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf3ac5314319fcf3b0a9599814776b77d7e3f113","datavalue":{"value":{"amount":"+0.7941122055053711","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1398672$BC4E2F78-6F82-4856-ACD6-E5DD762DED9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f91d82b3b005f76417b473bd775312b9cb6e079","datavalue":{"value":{"entity-type":"item","numeric-id":3081627,"id":"Q3081627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e85f313a85a40161af0e9b6e8e50f73ec0e348bf","datavalue":{"value":{"amount":"+0.7858197689056396","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1398672$83296548-5380-4D25-9DE5-5DF3400675C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9867386fbb9190106f235839114e7a4c89558bcc","datavalue":{"value":{"entity-type":"item","numeric-id":673087,"id":"Q673087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f085e9a579e44fc285080274dbb32c4bacaf1bee","datavalue":{"value":{"amount":"+0.7714999318122864","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1398672$12A48F6A-2180-4A93-B604-CBA8E16A16A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Infinitary relations and their representation.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Infinitary_relations_and_their_representation."}}}}}