{"entities":{"Q1402195":{"pageid":1412935,"ns":120,"title":"Item:Q1402195","lastrevid":70339698,"modified":"2026-04-13T14:06:30Z","type":"item","id":"Q1402195","labels":{"en":{"language":"en","value":"Virtual worlds as meeting places for formal systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1967738"}},"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":"Q1402195$95995170-96CB-476F-B550-9866CA9EB5EF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"363187db9e78d009cee5f5c987a297bf95ceee77","datavalue":{"value":{"text":"Virtual worlds as meeting places for formal systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1402195$A08D598D-D1E1-42D0-BA7F-99BB99A9AF5C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"275b4e77158a84c0e8e01770042c387a4558c402","datavalue":{"value":"1031.68557","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1402195$74488845-1CEE-4F1C-AB5D-985D0B7BA838","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"22765826a18a55fd68b9255d0b8712800b34a7cf","datavalue":{"value":"10.1016/S0096-3003(99)00239-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1402195$EDD36B6D-4C68-4EBE-A7AF-98380E610491","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"43a072a41e8ae65f092b382c290643059d5d6de7","datavalue":{"value":{"entity-type":"item","numeric-id":1402193,"id":"Q1402193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1402195$19411D5D-E1C7-4A2F-9CCE-982BF5F74B34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cefcbccc65813a355ecfb774872acd3a61440001","datavalue":{"value":{"entity-type":"item","numeric-id":1213869,"id":"Q1213869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1402195$FE250FCB-E76A-45A6-9F0A-46A586462574","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"add6fb6b993c46c88f8cbd1c0026e2e785c9381d","datavalue":{"value":{"entity-type":"item","numeric-id":70476,"id":"Q70476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1402195$C170D768-C99E-421B-B7F8-DEF1972DF4F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e470d6afc31ac12c7a48dd9fcc9ab0832c78550d","datavalue":{"value":{"time":"+2003-08-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1402195$EA4DDF85-5906-4D9B-A848-FCC2D72616C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"81ba1a045a2037276aea9aeb7e223aab3c4744ec","datavalue":{"value":"68T01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1402195$367F9E5B-001C-4083-AB85-AED07F2E8949","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a96a0d15407dbbe6946c2b239236a5863e76cb1e","datavalue":{"value":"1967738","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1402195$E6A4401D-A7E2-45ED-82F2-EFA42E6DF37F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ef449b70d87dbb70fc3493e878422e837024de8","datavalue":{"value":"integration of formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1402195$B93E4E0B-4CAF-43E9-9FDE-397990724852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"994934135592ed029fd5947317057c333ea3928f","datavalue":{"value":"problem posing paradigm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1402195$9C25C597-64B1-433F-8BDC-85F73B42A8E3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bfe3bcc0009a21918f21df2ce90f46715f021133","datavalue":{"value":{"entity-type":"item","numeric-id":15891,"id":"Q15891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1402195$A71F0509-5797-41B2-A05B-937F43B56840","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":"Q1402195$340004B6-D2C8-498F-99D4-1A846BEDE715","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edbd4db20ecbcbb1c315d5320a38ebf3acfa299","datavalue":{"value":{"entity-type":"item","numeric-id":3992552,"id":"Q3992552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1402195$5B3D7F9A-5036-41F1-A3FC-7B06DDB78B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e24dfb70f0ccfff3ed12532a7f66195876482ba","datavalue":{"value":{"entity-type":"item","numeric-id":3992554,"id":"Q3992554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1402195$439F44CF-F3E7-4521-A6B9-DA634E5880F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9002b11d3ce5a7f9f2de54d4d590fb5f5bed4366","datavalue":{"value":{"entity-type":"item","numeric-id":3993251,"id":"Q3993251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1402195$65CAD831-1080-44DE-8AD4-B35CA2BE4F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80d81ab1e61df3e5f6c83e896201bc1f3694cd56","datavalue":{"value":{"entity-type":"item","numeric-id":4717366,"id":"Q4717366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1402195$0ACCD5E8-F17C-437E-BC79-933AE0D26416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0514888bfe16107061d6254518aee3ed216c2113","datavalue":{"value":{"entity-type":"item","numeric-id":3267789,"id":"Q3267789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1402195$6EF381E3-EE65-4476-990D-57045C66E051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a980a374515067d1c5c237a6fd0ede01b4ba94ce","datavalue":{"value":{"entity-type":"item","numeric-id":4012875,"id":"Q4012875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1402195$E8AB1280-2CB6-4CFA-B16C-9391D70F3BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc0c53b37a566572d86f01f7ce274b955eda8d24","datavalue":{"value":{"entity-type":"item","numeric-id":3032225,"id":"Q3032225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1402195$2A7B66EF-3021-4BDF-A112-9FA52FC1EC57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7b2dd2863358cf2a528999ec6b006fdf400b99","datavalue":{"value":{"entity-type":"item","numeric-id":3899468,"id":"Q3899468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1402195$09C17E79-C3D9-4D61-B8B6-EDA85FE67AF9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"916343bc529bcd9016ff237aa9e7aceabe7413fa","datavalue":{"value":"Q127658563","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1402195$0F4FCA8E-C542-4A19-A768-6560EB9A5B53","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a6df1255bc581522796b4aef774ed9a48a697d12","datavalue":{"value":"https://doi.org/10.1016/s0096-3003(99)00239-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1402195$3DC1BE69-991E-434E-BF30-968BDC5F2712","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e1cfab074a013df2fddfeadde3260cd394bf6ceb","datavalue":{"value":"W2074383085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1402195$638564E6-1898-4D42-8B4C-96153844FA5A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d3e1f994da6992e90ad56cbd46b92515daff12e","datavalue":{"value":{"entity-type":"item","numeric-id":4792062,"id":"Q4792062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ae7f4708c9303bfcba21ed72ea550bd11210d54","datavalue":{"value":{"amount":"+0.7234256863594055","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":"Q1402195$C738A437-DAD5-4565-9A59-1DC9C630897E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d21242e4dc0bbe6595cc65c218cc6128ceba90b7","datavalue":{"value":{"entity-type":"item","numeric-id":4408368,"id":"Q4408368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d074a930c58affd03deb61daa5adeaf97378db0","datavalue":{"value":{"amount":"+0.6792410016059875","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":"Q1402195$409B2585-CE87-4BEB-B52A-CFD63326FC91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff7e57c8975fae26361a4995e161568317a2ed28","datavalue":{"value":{"entity-type":"item","numeric-id":1852287,"id":"Q1852287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d00c235415f21e1a043f8803ecdb8447f3b63fbc","datavalue":{"value":{"amount":"+0.6767359375953674","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":"Q1402195$8A591C53-48DB-49A4-832C-636A993F44E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd305d407a8558e9d9dbae45752fdecb3d77eca7","datavalue":{"value":{"entity-type":"item","numeric-id":4494692,"id":"Q4494692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7591a38382c44df0a999eb8ab7a9cc3795d01204","datavalue":{"value":{"amount":"+0.6759308576583862","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":"Q1402195$4A619A22-065C-41EF-AC52-A53807BE651A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ed6966a862c79b6f27356bb01c312851e3872b2","datavalue":{"value":{"entity-type":"item","numeric-id":5460264,"id":"Q5460264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b4f7c02b596f6ca78e4f4928014a6f5b365117b","datavalue":{"value":{"amount":"+0.6719866991043091","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":"Q1402195$BECF63E8-6474-4E18-B4B2-943C5CAC0C19","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Virtual worlds as meeting places for formal systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Virtual_worlds_as_meeting_places_for_formal_systems"}}}}}