{"entities":{"Q6535348":{"pageid":14146491,"ns":120,"title":"Item:Q6535348","lastrevid":57344346,"modified":"2026-03-30T14:08:09Z","type":"item","id":"Q6535348","labels":{"en":{"language":"en","value":"Symbolic model checking for TLA+ made faster"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7777302"}},"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":"Q6535348$11FE0B88-0D97-48A8-9E71-B822907455B9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8e02cd356f828210685b8e48bd80386aa88ab4b6","datavalue":{"value":{"text":"Symbolic model checking for TLA+ made faster","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535348$E4958522-66B3-4A23-A3E9-39F0C6DB92ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a7167b0f60fc6b9f19e33066ae0b3042ae57613","datavalue":{"value":"1543.68227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535348$FD3C3205-6AFB-4742-AA0B-8B440C45C2F1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b67409c538f27b4450fcf213c805d651385ecb0c","datavalue":{"value":"10.1007/978-3-031-30823-9_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535348$4D92D780-2792-4445-BE81-01BA5B3753EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b10d64cbe259289a1321e961f157572e453faa5","datavalue":{"value":{"entity-type":"item","numeric-id":5045460,"id":"Q5045460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535348$458504B9-F30B-4218-99E7-8FD8B4DF42D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d35899cb65f58f39f18ace00525b969f103aeb2a","datavalue":{"value":{"entity-type":"item","numeric-id":6202196,"id":"Q6202196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535348$89232FBF-B03E-49E8-9861-DDBDAA66A37F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ade9981cc76ea219586fa2c2050b81db8daa61e","datavalue":{"value":{"entity-type":"item","numeric-id":6535347,"id":"Q6535347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535348$547B4DCF-5E33-4BA2-A20C-48AAD01B3E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"481e083b5b2e15e19d949fc5e1d90e5242f02e55","datavalue":{"value":{"entity-type":"item","numeric-id":362582,"id":"Q362582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535348$E588F510-1B38-45B8-B4E0-4E2382FAC008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"66a480d2e9b29ea82a9b0fc72873fd6d8201d31c","datavalue":{"value":{"entity-type":"item","numeric-id":287271,"id":"Q287271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535348$2A52C5B2-8DB2-4249-878E-08107302A8D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"370dd048328bd35e66746fcb16650fb884273700","datavalue":{"value":{"time":"+2023-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535348$113DDF10-7D05-407F-959E-C75F4FBBC489","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535348$9058E29C-E2AE-4A90-A4B7-F57CBEAC077C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535348$A1AC5020-288A-4AE5-8854-16C752DC27A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535348$928E62EB-B602-4C2E-98A0-113DD5C518C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b6b2b90084d83eb436c931702fabe1de235b9306","datavalue":{"value":"7777302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535348$5ED7B8C1-AF01-427B-9A76-32122D2DB981","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535348$5C3F521C-A125-4F08-BA63-39753843341E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01bdd62b471892ad058a1a233f252cd2ac236bec","datavalue":{"value":"SMT arrays","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535348$947A9CD4-AFF3-4D53-82D1-6FFEEA1B6050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"387e204c6977d7b097ac93bf9a6ecf723e21df10","datavalue":{"value":"distributed algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535348$FA849E3D-C9A7-471C-AF61-2427EFEBE459","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":"Q6535348$5F05600A-C31B-4B02-96A8-519B152EE132","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"126e5dfacc7f9aed01f6e192710147ed8c12ae25","datavalue":{"value":{"entity-type":"item","numeric-id":2817912,"id":"Q2817912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535348$C3823E66-6BC1-472F-B0F3-0B134223C304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ece5a7219afdde4c10caada730f4efdb72bf804b","datavalue":{"value":{"entity-type":"item","numeric-id":6154883,"id":"Q6154883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535348$D0D12594-6A57-487D-B379-CD99626179A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d61839b051136c366b71cc548f1614f7b0dc9a3a","datavalue":{"value":{"entity-type":"item","numeric-id":3765232,"id":"Q3765232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535348$B989B921-5D25-4C43-9456-CC5B2869975C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca1d79fe8e9b8725b993585f4511e0731d0e75c5","datavalue":{"value":{"entity-type":"item","numeric-id":1603446,"id":"Q1603446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535348$25DBD833-59FD-4F5F-9804-C6585B4A5209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce4a88579eeb88e320413f0b2da3e93ddc520681","datavalue":{"value":{"entity-type":"item","numeric-id":5883751,"id":"Q5883751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535348$700074D1-22C0-4A8C-956E-2A063867BF58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3262b109b63b7c39d6f2a2cd45cf82fa31996c8a","datavalue":{"value":{"entity-type":"item","numeric-id":5881447,"id":"Q5881447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535348$D054575A-F6CD-4935-A218-543429F61E98","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd4f64840d011435d0587d3cdf441c154ebb2cd0","datavalue":{"value":{"entity-type":"item","numeric-id":2891459,"id":"Q2891459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0234079f06c3d5a2de92e81729db92b1040d50c5","datavalue":{"value":{"amount":"+0.7441164255142212","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":"Q6535348$92E8927C-C353-4ACF-95A8-5CFBEFCFB5FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"400daeba872d01174f63c096f657979ecca7b403","datavalue":{"value":{"entity-type":"item","numeric-id":2281632,"id":"Q2281632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"192d52904a799938b0ad08c6954f131c21b63293","datavalue":{"value":{"amount":"+0.72987300157547","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":"Q6535348$FF444129-88D1-4527-BCEA-C2D3CEEC5ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c68ceb57f86d95f858aae1b625068f96622e518","datavalue":{"value":{"entity-type":"item","numeric-id":816198,"id":"Q816198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be711552863d920ec6c0dfd5f115caee727ca149","datavalue":{"value":{"amount":"+0.7227614521980286","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":"Q6535348$1BCCAD7F-7D01-400F-AE5E-E7ABD3029B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00dfcbdbeed785e2c343471262358787eff0c174","datavalue":{"value":{"entity-type":"item","numeric-id":4553260,"id":"Q4553260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff5d46da12b568e4ac919376bcebe4b7c27f88f8","datavalue":{"value":{"amount":"+0.7225087881088257","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":"Q6535348$9D42E10D-7D06-4EFB-9181-204BEAD40655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a35dc3289e2432f10ae8b38ca7b9fb5a59f2610b","datavalue":{"value":{"entity-type":"item","numeric-id":5881447,"id":"Q5881447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48bbc1b09249a872ef35ea895244b2190ce9ef47","datavalue":{"value":{"amount":"+0.7102072834968567","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":"Q6535348$2F57AAE5-D88E-44A4-86B7-CE80092E82BD","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535348$B3708314-361C-4AE4-8C0F-038465DA529C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535348","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535348"}}}}}