{"entities":{"Q4652741":{"pageid":6682322,"ns":120,"title":"Item:Q4652741","lastrevid":48424129,"modified":"2026-01-04T16:56:43Z","type":"item","id":"Q4652741","labels":{"en":{"language":"en","value":"Serializable histories in quantified propositional temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2139356"}},"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":"Q4652741$75D5E24A-2FEE-4F96-8001-9B4013C66C5E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1401f0dfe95783c16e54dc8472aaa10ae315e982","datavalue":{"value":{"text":"Serializable histories in quantified propositional temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4652741$A1750929-F0C0-41A4-B0FF-453B21A1D9E7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab09d717cbae33b3fb1fe9d790d9f121ae2f4d88","datavalue":{"value":"1099.68027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4652741$0D727140-EC78-493E-B967-29E387FE891C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"243225e5c5f340c00651564ed230b8e988537970","datavalue":{"value":"10.1080/00207160412331284051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4652741$05390F1B-8859-42C0-B894-5C3261EC3FDD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"81fcaa40aa6c4b5e6096a4811a12926c8b4f8ca3","datavalue":{"value":{"entity-type":"item","numeric-id":277616,"id":"Q277616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4652741$42AF182A-3AF0-4320-A51B-A3547C06AB84","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1f8a1cf422dc8a39955e3a7180ef4ce8229538d6","datavalue":{"value":{"entity-type":"item","numeric-id":2710741,"id":"Q2710741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4652741$BAC73DC9-582B-43FF-B8CA-3E0EC0B8DF3D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d5dabce90ff5340c0b0fd5844437bb5a756de645","datavalue":{"value":{"time":"+2005-02-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":"Q4652741$D4C35D48-96E1-43D0-A622-7B39F35CB10D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a762d1a2468ec8882180d0d1124f12b94f8eb1b0","datavalue":{"value":"68P20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4652741$36B77672-8064-450A-8D84-E3C951BD78DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4652741$93033988-8807-4250-9CA9-80DC84A4307A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4652741$7394A18F-7C3B-4066-8FE6-021BCBDA52D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4652741$7FB79436-C968-4C0A-9AE8-4724BC844831","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b2e112fdb3085f59c51b03aef597716fb307babb","datavalue":{"value":"2139356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4652741$B8BBCF10-1FB3-44AF-893B-2765B95FB5C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2705f53c0e9bbe25053fa04eb10e8e0dc4ad41f0","datavalue":{"value":"Temporal Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4652741$4832272B-D361-408D-BCBD-0F2426CB853A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f07a7d7af84c672e257a4389060b1d2fef7b7aa","datavalue":{"value":"Database Concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4652741$888B48F9-8FEF-452A-BE91-2FC13A919792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7353a8ae1b1a77831d5ab1d21af48158b563e397","datavalue":{"value":"Serializability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4652741$58EA7F27-302D-4509-A3E7-77D7E6790215","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":"Q4652741$C8536729-E68D-4D66-A835-8FA73DE3187C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3f308a138520d0b71d6d22f78492e60f1524eb9e","datavalue":{"value":"https://doi.org/10.1080/00207160412331284051","type":"string"},"datatype":"url"},"type":"statement","id":"Q4652741$E185DD1C-6DB3-4E1F-A897-0A250EFEBDFD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"378dcc4c841592d9c4b0974d2da3928b74a617a6","datavalue":{"value":"W1966971514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4652741$C5D8A06B-6B26-49ED-A637-15D92B09CC1E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a7ac70217829001bfdbe229aa58327de02581ad","datavalue":{"value":{"entity-type":"item","numeric-id":3853111,"id":"Q3853111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4652741$FE8989B7-6477-4255-B08E-AEC9E21C7296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a25c01e8d4be176dddf944065ec7d363ffdadbd","datavalue":{"value":{"entity-type":"item","numeric-id":1591203,"id":"Q1591203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4652741$2F8587BC-DDF6-49BC-9AD8-BF97895A5DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e89746956d217860016a766c2127e6c1ab5916e","datavalue":{"value":{"entity-type":"item","numeric-id":1322161,"id":"Q1322161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4652741$6EDF45B9-9D07-4A0E-B8C5-31D0418FE24B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cddb9fd29a27d713899f46838d6f62f38721f1a","datavalue":{"value":{"entity-type":"item","numeric-id":1073577,"id":"Q1073577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4652741$C32BF1B0-F8E5-4A3B-876B-E86E04070F57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a70145a65c17f218441b1c74c9ac9f02f2de86a","datavalue":{"value":{"entity-type":"item","numeric-id":1194331,"id":"Q1194331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4652741$565E6268-A6A4-43A0-B46B-9B575B184D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d079b47cf1ba2d598f964b28ddec583cafa7821","datavalue":{"value":{"entity-type":"item","numeric-id":1088653,"id":"Q1088653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4652741$18E8CA76-F85D-4022-A2B3-041F27BB3A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6a31e0cf3ff6a73ad4ee5a92d1ed62572bdd89","datavalue":{"value":{"entity-type":"item","numeric-id":3317085,"id":"Q3317085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4652741$A6793659-A7C5-4E59-A718-0B90A6BFCB6F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c909e90a30ec82099818efb02f87cff685f586d1","datavalue":{"value":{"entity-type":"item","numeric-id":3647287,"id":"Q3647287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07fe9eea9eb61b226cfd63a91e4ff5f1aeaaf7f4","datavalue":{"value":{"amount":"+0.8263563513755798","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":"Q4652741$B492C018-CD84-4468-BADC-7BCC62966912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aef2d4104d501f13d8fd7fcddf4d0a3610c52d9f","datavalue":{"value":{"entity-type":"item","numeric-id":5748878,"id":"Q5748878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aab8495449ececf3b0023765e9bb2a84ed92be00","datavalue":{"value":{"amount":"+0.7955333590507507","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":"Q4652741$41AFFC0D-A32C-40B7-896B-B4C0B49292FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eec68373d90c21f254fe81f1919a89d290f2f3f6","datavalue":{"value":{"entity-type":"item","numeric-id":1124386,"id":"Q1124386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32d1400b003deaefa38c83728ce24fc13ec0a9c6","datavalue":{"value":{"amount":"+0.7842788100242615","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":"Q4652741$179E110B-18BE-4368-AAB1-FA84EA0A9100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13595fb25654c4acf854f16dfa8dc04bff6f39ab","datavalue":{"value":{"entity-type":"item","numeric-id":3738609,"id":"Q3738609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"498edf64cf21166701ef3c2bd73fa789e377b98d","datavalue":{"value":{"amount":"+0.7730122208595276","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":"Q4652741$955EC62A-56B1-4666-867F-F5BC00B35930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"736fbd289fc99563389c462e1ed4f0bd74db0762","datavalue":{"value":{"entity-type":"item","numeric-id":1073577,"id":"Q1073577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c5bc989d2c99ddeed1ecd80fb0e708f8e88999f","datavalue":{"value":{"amount":"+0.7507779002189636","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":"Q4652741$405909C9-7D61-4A95-A4DD-3D30DEEDA09E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4652741","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4652741"}}}}}