{"entities":{"Q6545516":{"pageid":14156670,"ns":120,"title":"Item:Q6545516","lastrevid":55671109,"modified":"2026-02-17T20:45:12Z","type":"item","id":"Q6545516","labels":{"en":{"language":"en","value":"Excursions in first-order logic and probability: infinitely many random variables, continuous distributions, recursive programs and beyond"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7855110"}},"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":"Q6545516$6A403715-3125-47F0-9864-B26106971AAD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b075dd3ef07347225780a4042360016aafca7605","datavalue":{"value":{"text":"Excursions in first-order logic and probability: infinitely many random variables, continuous distributions, recursive programs and beyond","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6545516$6148264B-513E-41F9-8771-A30CA2CC57E7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f1dc151b9060b905dc4d78a6a882fb1917018f27","datavalue":{"value":"10.1007/978-3-031-43619-2_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6545516$D17E84C8-1ABD-4905-8AEF-8AB2FC273896","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef39bf3d1b8d855243548107e2f7f128ec5d1166","datavalue":{"value":{"entity-type":"item","numeric-id":310090,"id":"Q310090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545516$F444BDD3-E489-4A77-BDA0-32965C730B92","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c775b7be76488bf652b31b8283b5e517156ef32","datavalue":{"value":{"time":"+2024-05-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6545516$9C89B817-55EC-4144-A25E-4B967ABD923F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6545516$A36B51CC-C804-4ECD-87E6-D75CFA3419E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d74f9940e8d8e0154206fe8c048af8fb1960464","datavalue":{"value":"7855110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6545516$ECFEC11D-9573-4CA8-8310-A778DA8E45E4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6545516$0C15ABB4-03B2-491E-BA8B-0786B8D7A5A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"639912d39561777c9f24eec80a9240f4cb2e5c52","datavalue":{"value":"probabilistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6545516$2ECFAD41-E108-46EC-A476-D70E56F10AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9eef9596756fec5010a7f36d43583be0bdeb246d","datavalue":{"value":"programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6545516$E4001FF0-C510-4E7F-ABC8-33745E2460E4","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":"Q6545516$4FDE92F1-7365-4C5B-8C9E-16B6D57D587E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1302e7cd826566734c891bd338365d2f8b29d5f","datavalue":{"value":{"entity-type":"item","numeric-id":1806327,"id":"Q1806327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545516$99D46615-41FB-4EAB-9448-A9A543D65FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95b93fc871a033f66a63843f78136fb736af8646","datavalue":{"value":{"entity-type":"item","numeric-id":1606305,"id":"Q1606305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545516$7A0C8802-B040-4D4D-8CE8-008B856197C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0357cbf84afeb947c34865cbe1b751d41bb3170","datavalue":{"value":{"entity-type":"item","numeric-id":6098843,"id":"Q6098843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545516$4820AD63-DC8F-4516-BD83-76BB2FBC33BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51340cdb081804e458dd46826ff39a720a295d6c","datavalue":{"value":{"entity-type":"item","numeric-id":5806802,"id":"Q5806802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545516$F26B2B24-9613-40B3-872E-8D8B277DA159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545516$F41E0E3D-4C80-48CF-87DF-092382D3E6F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca4f823ca2e82e86e612699cdb65f38c133999d","datavalue":{"value":{"entity-type":"item","numeric-id":4052071,"id":"Q4052071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545516$3AEEBD02-BD75-4714-9254-0BE18C5FB414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4940a5c8bacffcc4a0546f4ddcaab1553ab5cce","datavalue":{"value":{"entity-type":"item","numeric-id":4299011,"id":"Q4299011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545516$D249B481-26BC-4B97-A1E1-C9566E8B87BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cf44227e8b3fc23a0ac076e5ebe6ca74f6f731f","datavalue":{"value":{"entity-type":"item","numeric-id":1813497,"id":"Q1813497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545516$EF10B8DA-61DF-4863-ABDD-E648AA6B3FBB","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":"Q6545516$495FEDF4-A475-4BE2-A15C-6211CD575761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40429e2a9220a90a4cd7998a113b7c636c8db471","datavalue":{"value":{"entity-type":"item","numeric-id":2538114,"id":"Q2538114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545516$728527F8-2B7C-417C-B38C-625F5A071BE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c089c4c1bd7133d306454b18bbe2c9f00e5e0636","datavalue":{"value":{"entity-type":"item","numeric-id":757340,"id":"Q757340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545516$2AE85396-ACE8-401C-AD9D-CC3CE6C3F9CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42b9d9579952d5cb20c7eee1e484c5ede7b57668","datavalue":{"value":{"entity-type":"item","numeric-id":72343,"id":"Q72343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545516$4664B1C8-1E2D-4C08-9BED-86EAC8035DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3363b2ebe681ba595f702c588d2553f5559e12b9","datavalue":{"value":{"entity-type":"item","numeric-id":3455569,"id":"Q3455569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545516$3FE582C4-1339-43D9-8571-1AE582EC0CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c68631bc9e3d5ab5e18474448eb1e567fa70fa50","datavalue":{"value":{"entity-type":"item","numeric-id":4352529,"id":"Q4352529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545516$4AE945EC-F003-48DC-B986-0D7B7473B4C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"641dd44f22cff016b32d2527e37a4fcb6b7516d4","datavalue":{"value":{"entity-type":"item","numeric-id":2967800,"id":"Q2967800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545516$A6A03D3A-AE10-47CD-A4B9-ED8B99DC7ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff555365289ad702d5c35acd813d1079203777b2","datavalue":{"value":{"entity-type":"item","numeric-id":2756788,"id":"Q2756788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545516$2432800E-2A08-4FAC-976C-8FA4ACE51E43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f3d822d960bd1bbc6988236e63e425bbf337f9","datavalue":{"value":{"entity-type":"item","numeric-id":543573,"id":"Q543573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545516$BA4D020E-1B2A-4211-AEAE-FCA78DEEEF12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d95d58af5ba1dcab4dcd26755bcea70cd06475d","datavalue":{"value":{"entity-type":"item","numeric-id":1087024,"id":"Q1087024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545516$CB9342CD-779A-4C4F-BE9A-915580E55322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa660dea7ee00596d391731a42958327888e79bd","datavalue":{"value":{"entity-type":"item","numeric-id":439010,"id":"Q439010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545516$96F2ED01-107F-464F-A296-E38FCDD59139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47ad625576141754dfc809ee18801b070c92de70","datavalue":{"value":{"entity-type":"item","numeric-id":2855953,"id":"Q2855953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545516$24C158AE-725F-48EA-903B-BAE857CD33C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8bc6627635c436dcd562e9662052656a8c07a4","datavalue":{"value":{"entity-type":"item","numeric-id":1073782,"id":"Q1073782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545516$413CD790-DE10-423D-8C09-52C25BDD5A0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6297729297cb28a62117a4999c4114b036b54e67","datavalue":{"value":{"entity-type":"item","numeric-id":2630824,"id":"Q2630824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545516$BDF97009-7F8E-435A-B984-7242D1258E0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed6e70692be31fd678888aba9845be1b585906ce","datavalue":{"value":{"entity-type":"item","numeric-id":4236392,"id":"Q4236392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545516$F71F95CD-73B5-4570-AFD7-96D4A20C8D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35f0161cc67f777d45eafcf84c0a58a9b70711db","datavalue":{"value":{"entity-type":"item","numeric-id":3003238,"id":"Q3003238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545516$0355F4B1-9FD6-4088-B139-7EC1575B4D8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cd5e74173c2d3fdad9cafa881baca2120e9550b","datavalue":{"value":{"entity-type":"item","numeric-id":2805145,"id":"Q2805145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545516$1880010C-5F8B-4FE9-AFB5-5BABDE38B686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"373b09c1ad3afc09fbc8a8a75ccfb9ce5433773d","datavalue":{"value":{"entity-type":"item","numeric-id":4779807,"id":"Q4779807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545516$EAFD7E07-B0FD-4D60-8AB1-B7EF9C68D583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"989f7bf6943254275f5b5f1e546a53c901468e44","datavalue":{"value":{"entity-type":"item","numeric-id":1606307,"id":"Q1606307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545516$29A95E2C-589D-4FD8-8FA2-FA3B01575A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcd14956350606a4cb97c3e2a2e317ad14ee6c5d","datavalue":{"value":{"entity-type":"item","numeric-id":5713453,"id":"Q5713453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545516$AE5093AA-51D2-4385-83BE-8859980DDB1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3503a1bd9c01ba10cd7fa9dff7995ed001437bc7","datavalue":{"value":{"entity-type":"item","numeric-id":285935,"id":"Q285935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545516$AAF0EE61-BCB2-483B-9670-F1663F5F3BC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff414244bf758d79edc5524153ce36d943ea298","datavalue":{"value":{"entity-type":"item","numeric-id":953926,"id":"Q953926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545516$03704BB3-64B0-454A-8E1B-89CD61BABA06","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e6306836739f9f4ca5970224a7e25a109d0dd60","datavalue":{"value":{"entity-type":"item","numeric-id":2320310,"id":"Q2320310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71aed6000b60c76bc02dadda2e4a7f08c4aa250c","datavalue":{"value":{"amount":"+0.7674990296363831","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":"Q6545516$A59D8C05-DFCD-4E70-BBF7-7500F5943E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8f712d022a38010eb6675f7dc2d590b73eaa65a","datavalue":{"value":{"entity-type":"item","numeric-id":6486007,"id":"Q6486007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f37fb00d211acd147f4d4d886271169186821ec5","datavalue":{"value":{"amount":"+0.7611674666404724","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":"Q6545516$91E59A7E-7F94-4617-821A-1BD02576C7CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f9d692a3db61c20c859068834690484428fe8cd","datavalue":{"value":{"entity-type":"item","numeric-id":4592975,"id":"Q4592975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"904948d7237f8d0af2c6774cef1cab6267648a68","datavalue":{"value":{"amount":"+0.7036800384521484","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":"Q6545516$9A7044A9-7063-4384-B6EB-69FDE69C4337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59468f5bd112d63aed119fc226f0bbcc150ca2cb","datavalue":{"value":{"entity-type":"item","numeric-id":6577667,"id":"Q6577667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f3cf123c921095a14763eb9f5bdae977c6e716b","datavalue":{"value":{"amount":"+0.6936411261558533","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":"Q6545516$E1D0BBEA-70F3-45C6-A9AA-820FAF0FD6C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eb83b92fbde98e6f7755ac88af0cc9f4bed278f","datavalue":{"value":{"entity-type":"item","numeric-id":5464522,"id":"Q5464522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18742155650f135d197dbca362bcb5e00c37749a","datavalue":{"value":{"amount":"+0.6911643743515015","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":"Q6545516$5B0D0AB7-47D3-4A83-9B30-FB96CD033344","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6545516","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6545516"}}}}}