{"entities":{"Q1176248":{"pageid":1186997,"ns":120,"title":"Item:Q1176248","lastrevid":42288541,"modified":"2025-06-04T11:21:25Z","type":"item","id":"Q1176248","labels":{"en":{"language":"en","value":"Completing the temporal picture"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 13897"}},"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":"Q1176248$F77BCFA5-A2FB-4418-8B29-36145B74A57C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"72f1ac631ae336a05d2a79b8c2386fb53ea23137","datavalue":{"value":{"text":"Completing the temporal picture","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1176248$C933419E-4506-4535-98A2-02B7043FAB08","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a62e16909d16658ccce598d215f29b0b42a85333","datavalue":{"value":"0795.68133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176248$1E7737F7-3058-4A8A-BD6D-980F87E20EAD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9cb51e666561f8dcfb218faa29db970fb8ffc615","datavalue":{"value":"10.1016/0304-3975(91)90041-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176248$6E583ACF-4384-4537-9DEE-C50E7DB08B72","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"136a3bf1f009deb2a6a9913d5ea0e7ae90a03274","datavalue":{"value":{"entity-type":"item","numeric-id":582279,"id":"Q582279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176248$813FBA81-E999-4963-AE94-A56B90AFC0D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f609d14c1727f970ab5a0ef43992b4a7d4a23fcd","datavalue":{"value":{"entity-type":"item","numeric-id":208770,"id":"Q208770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176248$09904181-E0AD-4805-9495-1CCD86939362","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176248$E2800585-00CB-45B1-9C69-76D707106C10","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1176248$FC1513A8-F61C-41A8-A9F4-1B077D8DAA63","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176248$98D1675E-1314-4042-92A9-3948BCF2E3A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176248$59657043-EB3F-4061-BCF5-6BD0747E6BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176248$F154ABC6-DF67-4BE4-BA05-F23E9BE6EE5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176248$6DB38A51-F467-4B8E-A2B4-E42045F20E13","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b66c6aa6348583dc8874c85b9eb8bf1271933bc7","datavalue":{"value":"13897","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176248$F8829CAF-9807-4E04-AFF8-DB469846A0AC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffa0c3289e258a19de6332c67476e528f8f33f0f","datavalue":{"value":"complete proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176248$45B746B0-A032-4D9F-97F9-6F42B557D736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"160e3ae5cd71817c92e4e891cd06ebe24f7fd1d9","datavalue":{"value":"temporal properties of reactive programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176248$C0269C63-70CE-4D39-951C-F27D67DAE0D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af47dd0d79a1f58f2e4b3e8819f78e985cf685b3","datavalue":{"value":"Borel hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176248$116338AE-DCDD-4A59-9754-D0B03F1B0A22","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":"Q1176248$26F7DBFB-F29E-424A-AC0E-8A101F861508","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3bc80122c3248b7370a66f915205122d19550f7","datavalue":{"value":{"entity-type":"item","numeric-id":3925144,"id":"Q3925144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176248$1DB50164-CDF2-49AD-863F-EDF45201C8B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2204ee7d30bcfa8fbee857183801f78bafc2ef2","datavalue":{"value":{"entity-type":"item","numeric-id":3763571,"id":"Q3763571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176248$F090303D-5050-4122-B066-9013178CDE01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4ecb8a103f63d32e54f44e8875faf11679ab820","datavalue":{"value":{"entity-type":"item","numeric-id":3832037,"id":"Q3832037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176248$A9C53262-3E2F-4258-B8CD-632CC37038AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c71c26bf7e075dc23cee40b3135f1af13e67a2","datavalue":{"value":{"entity-type":"item","numeric-id":4151703,"id":"Q4151703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176248$276C9DA2-61D1-4050-8ECB-D8712E26745E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"015cd53333891e4bd79b629bebe5f35ba7a7263e","datavalue":{"value":{"entity-type":"item","numeric-id":3738540,"id":"Q3738540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176248$0FF13880-99C5-492B-A731-BD5B721912D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d32a8c0023ee99949f9c3c0b0fab1f329f47263","datavalue":{"value":{"entity-type":"item","numeric-id":3698284,"id":"Q3698284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176248$AAA1F5E5-9697-4AA3-8602-1F52075243CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5710cd0fb8b5907d40eeada6e14d4018e26669a5","datavalue":{"value":{"entity-type":"item","numeric-id":1255942,"id":"Q1255942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176248$4FD56A80-E2E3-4FF7-9680-5BAFC6983C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74833c204341d9aa9ef14997fbac19d0e7da176d","datavalue":{"value":{"entity-type":"item","numeric-id":3749040,"id":"Q3749040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176248$6A67E7E9-A3A4-4255-AFE6-9F4E88163C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3261cf7e2174b332e3482b23b1e1c76c1020c488","datavalue":{"value":{"entity-type":"item","numeric-id":3922147,"id":"Q3922147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176248$6FB94EAB-2911-4AE2-95B4-7720DC775F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a905ba949a06cde66174f0d589d9794d6c05423","datavalue":{"value":{"entity-type":"item","numeric-id":3711745,"id":"Q3711745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176248$222DF4A6-2AD8-42EE-9D88-DD2CF3C0703E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e09f7681257b92526d42b556170b42e07509410","datavalue":{"value":{"entity-type":"item","numeric-id":4745241,"id":"Q4745241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176248$34635D07-8008-4257-85E6-62CF4B25366F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47a4c5050a494dd7e6d32ff104f203d913557bb7","datavalue":{"value":{"entity-type":"item","numeric-id":795497,"id":"Q795497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176248$E96CB1AC-0E54-41A3-A267-4B49B019597F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f054886a6e90b7a5fdd4eccb1b577adf5746aec3","datavalue":{"value":{"entity-type":"item","numeric-id":4733399,"id":"Q4733399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176248$0BABE21E-0228-4776-880A-9B5789CB22D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96046d8590b6002eeffff55a627d504cd040d9f3","datavalue":{"value":{"entity-type":"item","numeric-id":3482822,"id":"Q3482822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176248$8904831C-4BC5-4571-8585-125BD826EE21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176248$BCC83D0E-57CC-4828-A5C4-84F0FD35A3F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68d7877f5c06b692012bb89ac63c690d31fa44f3","datavalue":{"value":{"entity-type":"item","numeric-id":3942371,"id":"Q3942371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176248$136C30CE-949D-466C-94C0-81BD169A705A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f11e8548165a301d01a241362bcf1efce79d1f4b","datavalue":{"value":{"entity-type":"item","numeric-id":3746875,"id":"Q3746875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176248$C64B5202-95B6-4FBB-B99E-F8A21DDD6005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb2cbd406133dd80bf3f5d166c994f8dbc0f6ff6","datavalue":{"value":{"entity-type":"item","numeric-id":1124314,"id":"Q1124314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176248$8AB4A8CF-3F14-4F2A-9EC7-39F3D5B06FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15fb510d752d28c4cf4a7d891afb159d6461435e","datavalue":{"value":{"entity-type":"item","numeric-id":3934375,"id":"Q3934375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176248$D8685487-4043-4AF1-BC5A-15345446A331","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5f4461c2eeaf0f00c0d67f82208ba32336e898d8","datavalue":{"value":"Q126352126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176248$A414E949-5A6B-4BDC-917B-D7DBF20F746E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e62190c15314932fc06f340dd1c37c3bd4a57d86","datavalue":{"value":"https://doi.org/10.1016/0304-3975(91)90041-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q1176248$64480759-9520-41D9-8CC0-2FBFA5F6B4E5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"483b3fda48186a3f670a5d159687775109c97fa7","datavalue":{"value":"W2065353132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176248$12252EDB-4979-4D27-B0A1-ED7E19EABE9F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"748ecc2376786718a06446352f0527024584f94f","datavalue":{"value":{"entity-type":"item","numeric-id":3482822,"id":"Q3482822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e2da6c53f5a750999d81de2cca7409b6fb04c6a","datavalue":{"value":{"amount":"+1.0000002","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":"Q1176248$70C00D2F-9403-454F-A8B1-9BC5AF309AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba65782f0f701f741fc28630e5629f05ff55b7e1","datavalue":{"value":{"entity-type":"item","numeric-id":1857319,"id":"Q1857319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"700aa374808291fdc3d0cd4b966b576d941eaf6d","datavalue":{"value":{"amount":"+0.8645297","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":"Q1176248$E7775F99-9C34-4629-A420-4E73733A8E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba89c5c15a29568d4e9cd68d913c644e735b8d2b","datavalue":{"value":{"entity-type":"item","numeric-id":3198877,"id":"Q3198877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f43602505a8b24e36b254d92a6f4bfa6ebbdc18","datavalue":{"value":{"amount":"+0.8235817","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":"Q1176248$45FDC76D-CD18-4E7B-BD73-8A0F3A36AE89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"560fd87abe2ea07f66e0422bffe2f1148ec9f310","datavalue":{"value":{"entity-type":"item","numeric-id":4281254,"id":"Q4281254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32f48bd8088bd4845c1b64cbd443ce9233945c77","datavalue":{"value":{"amount":"+0.8093082","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":"Q1176248$2C4258B3-18C3-4318-AF42-4168F3F60C86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bc609345ba71a5b8e02813ee298dad106bc0a42","datavalue":{"value":{"entity-type":"item","numeric-id":543532,"id":"Q543532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24b03976c05af800c9034118c8ca919577edee80","datavalue":{"value":{"amount":"+0.80444723","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":"Q1176248$9FFBD013-34BE-45AB-91CE-505A91FF753D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edb527352bdfefe9eda3b9ff19a8cc29c56ec9fc","datavalue":{"value":{"entity-type":"item","numeric-id":5096250,"id":"Q5096250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f65be6133152d935f83058a7bf83d3083eccaf1","datavalue":{"value":{"amount":"+0.7982212","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":"Q1176248$9A58814C-1365-4672-8A8B-DFC42C335FE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2a5462d8b401168d168062ef3d58264db198258","datavalue":{"value":{"entity-type":"item","numeric-id":4006231,"id":"Q4006231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1864f2873fba5a7fa5558cd0b555b6f74c4d259","datavalue":{"value":{"amount":"+0.7982211","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":"Q1176248$DD8C27B3-1321-4FAC-BE8F-B7ADCD82262C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80956b498c98bd42e00aa1cf49d309ed5c58e89d","datavalue":{"value":{"entity-type":"item","numeric-id":1826368,"id":"Q1826368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1150424548f275145b4e761e35a98b7d0018d7b","datavalue":{"value":{"amount":"+0.79731154","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":"Q1176248$4E2A35F2-769A-4F87-9A45-F7578C4964D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1176248","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1176248"}}}}}