{"entities":{"Q1080844":{"pageid":1091596,"ns":120,"title":"Item:Q1080844","lastrevid":66850503,"modified":"2026-04-12T13:16:44Z","type":"item","id":"Q1080844","labels":{"en":{"language":"en","value":"A completeness proof for adapted probability logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3968561"}},"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":"Q1080844$5DDB13CB-23CB-47BA-841A-862216537076","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"36565a6b6127a7a93409357ad13fa1bd29a53a09","datavalue":{"value":{"text":"A completeness proof for adapted probability logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1080844$852A7981-E851-4F4C-9EB9-583EA4C3B56F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1c51806b573fab3f7cb9ce4d171a1d78ed36ff05","datavalue":{"value":"0601.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1080844$0AB52ECB-A7A0-40A9-9BFD-0E4E51A80FDF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0852b87e9787ae1d613067aa8f4b45d3209a2f49","datavalue":{"value":"10.1016/0168-0072(86)90062-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1080844$CC46EDD9-6085-4CD4-856F-D9A22FCC9880","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cb0aaf2cb17a70a009b0ece4f2356bce41c3167","datavalue":{"value":{"entity-type":"item","numeric-id":386148,"id":"Q386148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080844$769A5223-5E64-4704-8534-D454D1642879","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080844$5C53D1A7-A879-4225-8CE3-81F378ADC15A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1080844$C7280528-1426-4A5D-A101-A65D644626BC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a6e7fee0f713f0da6bd670e4dc59b1f188b7253d","datavalue":{"value":"Adapted probability logic is a formal logic appropriate for the study of continuous time stochastic processes. It was introduced by Keisler, and has been developed by Keisler and Hoover and others. This paper provides a short and clear completeness proof for this logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1080844$AA59DFA3-A68C-494B-86B1-000C61376063","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e3678c4c27859448aaf57c0c464a06d6cc1a175","datavalue":{"value":"03B48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1080844$9CB97798-6650-4BA8-B65D-76916DE93299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"573684ced2fe2c188247678e777849505e146cb1","datavalue":{"value":"60A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1080844$A48F9B53-47A7-4DDA-B6A0-2E8F04D0DB5F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9bbe2e93c339b967e66815649046e941f31cbd29","datavalue":{"value":"3968561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1080844$2BAD2E95-0031-4352-B3F1-562560D90AD3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04376fc942cbd12208035392e85ea6cee340b6ad","datavalue":{"value":"continuous time stochastic processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1080844$ADF2332D-BF16-4F27-91DC-C6A215A3762F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5c88ba37b57c79e4faec0006cc4be8ec8469aa6b","datavalue":{"value":{"entity-type":"item","numeric-id":432959,"id":"Q432959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080844$B5618469-5BD8-4DCE-8DD2-E74CBD233CCE","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":"Q1080844$F7FB762E-E5B7-4C30-83DE-5166D69BFB5E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0ff3e5596ec4e8ad3a28baee3c8392767d81415","datavalue":{"value":{"entity-type":"item","numeric-id":3726085,"id":"Q3726085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080844$833352A3-B062-431D-B759-4247BA69EC40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aa29e9e740c19985d519723a7803e882198a6be","datavalue":{"value":{"entity-type":"item","numeric-id":4175264,"id":"Q4175264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080844$B4A4F610-9591-479D-9E92-493F975F630F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d602cb569c600caa748809c562f05f28bee86faf","datavalue":{"value":{"entity-type":"item","numeric-id":3339848,"id":"Q3339848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080844$BF0D0B0D-5EFF-4A2E-BA00-BA98CD172076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2784d49cf0fad82f3c5ee73ca23512672ef4d393","datavalue":{"value":{"entity-type":"item","numeric-id":2530302,"id":"Q2530302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080844$DE5A32F2-7A69-48E7-B14A-6A16194D4E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d1739c2b55475dfd43cc45c16cc81ebdb6214ea","datavalue":{"value":{"entity-type":"item","numeric-id":2547549,"id":"Q2547549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080844$2A1D5080-A048-41BB-85FB-F9371E2B6C49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7ecda6adb007b2e45f32b3da784aab2fd881fb7","datavalue":{"value":{"entity-type":"item","numeric-id":1080845,"id":"Q1080845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080844$83B557AE-9049-43B8-B2E3-4622484C95EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f24f95ccde7ff6b86b4a29082e0579c7e914d0e1","datavalue":{"value":{"entity-type":"item","numeric-id":4071476,"id":"Q4071476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080844$84247620-0E32-4934-90A4-BE2F8B1B39B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"940f07f59278ed9b42f76d0d9dafc72bfb373d89","datavalue":{"value":{"entity-type":"item","numeric-id":3315728,"id":"Q3315728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080844$927ADE75-F80D-4489-A18D-854BDA7A15A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17a166cee9be6ee3d53ea36dd5051eb38f39589e","datavalue":{"value":{"entity-type":"item","numeric-id":1836208,"id":"Q1836208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080844$3FBF8FC6-16F6-42E4-A0FA-B30354C8EF36","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dfe6c5d968b6a9e96fc918008ce720f6d09a92a","datavalue":{"value":{"entity-type":"item","numeric-id":3726085,"id":"Q3726085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6bfc915fdf5165c323717d699f38dfd5418e164","datavalue":{"value":{"amount":"+0.8252617120742798","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":"Q1080844$ECEB596B-09A2-4557-BE9C-FBE99AFF7687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"809baa7928c5a5f23a7688058ac462b355c2d4be","datavalue":{"value":{"entity-type":"item","numeric-id":1080845,"id":"Q1080845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00a2ea599e48edfc7a4b326714bb9a575c60a539","datavalue":{"value":{"amount":"+0.8094660639762878","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":"Q1080844$0860F90F-596A-41E3-A59C-7A2481769BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"960fde7ce012a9db7136892e546f69c3a563b9cf","datavalue":{"value":{"entity-type":"item","numeric-id":4714224,"id":"Q4714224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95ae1eb7fe2360014a67a631d6ba3f2f0cf55480","datavalue":{"value":{"amount":"+0.8079022765159607","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":"Q1080844$8D84BD2C-AFC8-4A27-9275-9AA215B289F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e2097ea67cd58bb1561e8c2c3077ed5a08e7e90","datavalue":{"value":{"entity-type":"item","numeric-id":3135905,"id":"Q3135905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"129d62cc4708c87f9ca5470cf5e1ec857e1d7fe0","datavalue":{"value":{"amount":"+0.7985051870346069","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":"Q1080844$878EF16F-49C5-43BA-A320-810EFC9537AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d031f6f42f829819016fe45e7dfab07f1d48c556","datavalue":{"value":{"entity-type":"item","numeric-id":4708432,"id":"Q4708432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b3bc995a7244b2f8cb3914ce2fe8e5d1d6389ec","datavalue":{"value":{"amount":"+0.77896648645401","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":"Q1080844$87329D81-502A-40C9-823B-93EAD3213CEC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A completeness proof for adapted probability logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_completeness_proof_for_adapted_probability_logic"}}}}}