{"entities":{"Q5900956":{"pageid":8007781,"ns":120,"title":"Item:Q5900956","lastrevid":97521497,"modified":"2026-06-05T14:56:45Z","type":"item","id":"Q5900956","labels":{"en":{"language":"en","value":"Formal Techniques for Networked and Distributed Systems - FORTE 2003"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5712698"}},"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":"Q5900956$DF4CFC34-B185-460C-ADD9-83836100044D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e755fe21e5e57b0fafac7948892b6cc623c9993d","datavalue":{"value":{"text":"Formal Techniques for Networked and Distributed Systems - FORTE 2003","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5900956$8FF8E8B2-E110-41DD-9BDD-677A6916FD7F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"27d0632f26970e84f00519766325405e2f0c032a","datavalue":{"value":"1279.68208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900956$39EEFF29-BAF3-42BB-93AA-1A4DE97D7842","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b51b92546df8957e49ae6425409019581ea964b0","datavalue":{"value":"10.1007/11965","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900956$EFB3CCDA-D139-41FD-BDED-6B7B9C7F17C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c7155697d8015c92616b0a1e7632b399e8a9b31e","datavalue":{"value":{"entity-type":"item","numeric-id":871094,"id":"Q871094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900956$D35C008B-E8EA-4E36-81AE-4BCEC0299438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"acb97025c54f24f24a63b0a9ba28b38fd4cf0c5e","datavalue":{"value":{"entity-type":"item","numeric-id":444792,"id":"Q444792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900956$06D75E78-A024-4FF4-84DD-B501F34DD295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"13aa89d0fda7f27be7d4940f11428d7a457d0afb","datavalue":{"value":{"entity-type":"item","numeric-id":3564941,"id":"Q3564941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900956$D8AACC4C-EC31-4E6F-BAEC-5288B0F7CE06","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900956$37E0923E-66A2-4968-8DB9-D0F941898D41","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"42e10e35ad52bbf92f1ddeac6dedccab922b34f1","datavalue":{"value":{"time":"+2010-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5900956$88ED4E79-6B53-4BF3-BCD0-D5B706934994","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900956$5E91CB9D-CF9E-4BD8-BAE3-7A5FC19080AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900956$FD89A1C4-FAD6-48FA-B96C-060A6B576E54","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"10d818bc2ea85d0e95e32d68e13d856fd65226ae","datavalue":{"value":"5712698","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900956$627DE8A3-7582-49B8-BE1E-7754CDEDF3BE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6cd096fbe51368a7529e7609cb813ad3c29a70e","datavalue":{"value":"conformance testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5900956$0EB79162-3235-485E-A240-ACFD087363F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8dd1dab43b596d83f23161fc33689f2a434ac1b5","datavalue":{"value":"timed EFSM","type":"string"},"datatype":"string"},"type":"statement","id":"Q5900956$7694C1F4-3FA7-4B84-91FC-30892B8FF20C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5835eb9425cdb7d1fcaa7759c71694d5fd8837b2","datavalue":{"value":"timed extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5900956$0FF63675-2767-4226-A271-82D2DC5415E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f33c12cebdd27ac256d7f6de213e0e6035a26e4a","datavalue":{"value":"SDL","type":"string"},"datatype":"string"},"type":"statement","id":"Q5900956$8977E18E-1045-43CA-9FE7-1BC9945B6955","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":"Q5900956$16C9F422-CCC8-4799-80FD-83F365553668","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9f80f6bf02446cac567d1602d1c0bfba7c481d3a","datavalue":{"value":"https://doi.org/10.1007/11965","type":"string"},"datatype":"url"},"type":"statement","id":"Q5900956$820BCF20-1736-48D9-9152-95F23F33B61D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dfcc3f41cef94b59a52635ab7295500348eab25c","datavalue":{"value":"W2501695616","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900956$90DCCD8C-194E-433D-8896-DA12D72F14DA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b0bb5bf407c3cc05ec459068650dfa7bd72ce8c","datavalue":{"value":{"entity-type":"item","numeric-id":3614837,"id":"Q3614837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b582eac5e3b987f9ca816bee5fe35daf91c5789e","datavalue":{"value":{"amount":"+0.9006248","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5900956$DA1DEBD7-B596-4B99-894F-F82848D46B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3861e45302141962899918920641b65dd34a6588","datavalue":{"value":{"entity-type":"item","numeric-id":2779763,"id":"Q2779763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df977dfa94fc8b87f6d416596ce86cc59c347a4b","datavalue":{"value":{"amount":"+0.88087535","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5900956$B12F5F20-D594-4E35-9992-3BFA2E7EBC38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b0b040445d42d3683132417e95954a90329342f","datavalue":{"value":{"entity-type":"item","numeric-id":4736989,"id":"Q4736989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a781835be262ac2c076198e9283ce8a4f6f3b2eb","datavalue":{"value":{"amount":"+0.86900455","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5900956$C9A9A6CF-1895-4670-91C9-B4B01553C6D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04679f9cba75638db0a5e0b313ea818f8383b090","datavalue":{"value":{"entity-type":"item","numeric-id":1881177,"id":"Q1881177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa3e7df3a8b5840d3dbfee606ed67bb0565ce26a","datavalue":{"value":{"amount":"+0.8638231","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5900956$CA0D8E4B-2E22-4395-BB8C-0E7F260A4787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55dc29470a77e406990af5170c1c7a72746d078e","datavalue":{"value":{"entity-type":"item","numeric-id":3543302,"id":"Q3543302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"782eef06b928e0232101385804eda68b481c3438","datavalue":{"value":{"amount":"+0.8602834","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5900956$2F5E16D0-DB52-4A72-B54C-A9FAD232C070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1665666dfd12d665cbb39ab2439e040d990f4f52","datavalue":{"value":{"entity-type":"item","numeric-id":4450977,"id":"Q4450977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f308dc6c6a142ea082f9afb137cb90d7437717a3","datavalue":{"value":{"amount":"+0.8591768","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5900956$98857A93-EEE2-45CF-8759-A42749591B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23b89d6bf426821dc943f630901e143a2afc81e0","datavalue":{"value":{"entity-type":"item","numeric-id":1899907,"id":"Q1899907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8eb865bafeaf2c02514cf48dd135204b1b853712","datavalue":{"value":{"amount":"+0.8578965","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5900956$A315277C-553E-4FA2-B87F-287960162198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adc7dab1bb30934f0eae57dac898f8e097de09c4","datavalue":{"value":{"entity-type":"item","numeric-id":4630289,"id":"Q4630289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2db87b996cf8aa40cf149491739db7a8fe3c0d2e","datavalue":{"value":{"amount":"+0.85789645","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5900956$6419D61A-549D-42E0-9073-0E9138960D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a6f8f258286a02224bbf4112c1dd5edc67e08e7","datavalue":{"value":{"entity-type":"item","numeric-id":5900959,"id":"Q5900959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b03b8f34f20a11f8262f72c27e66ef35aa08445","datavalue":{"value":{"amount":"+0.85001814","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5900956$3EBBAB9B-AC95-4276-898C-EC9EE73130AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6dd6379b7552e2dd17eb2e5e5caae815e5f4e3c","datavalue":{"value":{"entity-type":"item","numeric-id":4507811,"id":"Q4507811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bef3f0802fb08c68f6aacc78330b43574afbb61","datavalue":{"value":{"amount":"+0.8497893","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5900956$2469894A-F07C-41E8-8FF6-B034DC514734","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal Techniques for Networked and Distributed Systems - FORTE 2003","badges":[]}}}}}