{"entities":{"Q5465861":{"pageid":7495420,"ns":120,"title":"Item:Q5465861","lastrevid":96244154,"modified":"2026-06-05T10:46:21Z","type":"item","id":"Q5465861","labels":{"en":{"language":"en","value":"FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2194287"}},"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":"Q5465861$3830665D-2A51-402E-B640-10627D6C61F9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5826f2c9cfe3cf752ffd1f269ff346d8984e0d21","datavalue":{"value":{"text":"FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5465861$A58692AC-4AC7-41DA-B5CC-AEBFACD83F46","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d29dacd5b1ad81ebf39616fd14095485912eba1f","datavalue":{"value":"1105.68353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5465861$56628B00-FBC0-49DA-92CF-827FF56E4518","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78c3f9f38aefd8497e435cf677955510a3778959","datavalue":{"value":{"entity-type":"item","numeric-id":487252,"id":"Q487252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5465861$501876F1-02AC-49E4-9D17-78A0BCB63BA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"361a20a56f2e0f656dc8adae728ee345469aece8","datavalue":{"value":{"entity-type":"item","numeric-id":553289,"id":"Q553289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5465861$73D87156-0DF7-4223-9917-19620D96BB86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e2331a2eb35d5eca04fd9de57145000766bcc82","datavalue":{"value":{"entity-type":"item","numeric-id":453497,"id":"Q453497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5465861$CFC0D8B8-7B75-4245-8614-D7A756140C02","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":"Q5465861$8698F0D1-FCA7-4BDE-8A5C-6971DF9761D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5a7095fa1c9ffea3736e3139afc1eece023f1745","datavalue":{"value":{"time":"+2005-08-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5465861$5418F26F-7CA6-4974-B536-9DB17F2F244F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5465861$DCE77362-32AD-46C6-92CF-CA15998D6938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5465861$7BC9776D-331F-4C08-894A-954606C445DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"845f721bb2a0413bd096e3e17916e44e339d5e45","datavalue":{"value":"2194287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5465861$7ABA2046-3EFB-40F4-B7EC-5E1256FFEFC5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe1e867957a5e8937680e8ef9eee567469bd265e","datavalue":{"value":"Well-structured transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5465861$AE899022-8848-4DC5-B9A6-0DFC8A7F01A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68be6715570c298de2f7dfb5b1baeb889a9c5942","datavalue":{"value":"Verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5465861$E7F1B4CC-AAEF-4E76-82A7-E98CF16F7B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9c266535e97b13de29fa3a8f1d2ba3f41fded2a","datavalue":{"value":"Coverability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5465861$361759BF-BF27-4681-BA56-E45E1ADC75ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cc43e70c80bc1ea1844f5d097e313b46c99a549","datavalue":{"value":"Parameterized systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5465861$DA6A8DDE-64F9-41DE-83D6-B6ECAEECFF1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5465861$BF0F726F-418E-4053-B6AB-637FA76D3823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fcd088e562393f41a8b90ad3dcdd3985ee98744","datavalue":{"value":"Lossy channel systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5465861$B837B262-98B1-4C67-872E-3795BACE9278","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":"Q5465861$F23F6D49-F751-420E-B1F1-2E790F39AA76","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"93ad21006ebdddcb13aab80a8e3c130a627774ae","datavalue":{"value":"https://doi.org/10.1007/b104325","type":"string"},"datatype":"url"},"type":"statement","id":"Q5465861$F0701CCC-B1AB-42F0-BBE0-91A86968D33C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8a5de08f2a0a5737ca8cc1301a9b531653b95f32","datavalue":{"value":"W2950473912","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5465861$DC1C8A85-C96D-4309-A55E-4D8D53966F5A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b048e1206eaf64cabc964abf65c1149f1b146c4b","datavalue":{"value":"10.1007/B104325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5465861$5B9C1696-2DB2-4EA0-A75D-3BB59D5DB087","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"487a31bee9555fea1032c2af8cf443599daa15ea","datavalue":{"value":{"entity-type":"item","numeric-id":2581762,"id":"Q2581762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25f97bcc0c2fad0e0b15d69e23e5721c9ad9ad28","datavalue":{"value":{"amount":"+0.9924299716949464","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":"Q5465861$04EC54E0-5F14-401C-B151-412300F1CDA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac3f4d7428018fc862b03ba9abc78a8aa473ec27","datavalue":{"value":{"entity-type":"item","numeric-id":5716580,"id":"Q5716580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"754c8c160d761b8743a01fb87e98b30509459562","datavalue":{"value":{"amount":"+0.8705089688301086","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":"Q5465861$50965FED-9D8A-4154-BFB0-D0FC129366ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82f471a79c5f169224f998ea120f665ac785a4d3","datavalue":{"value":{"entity-type":"item","numeric-id":5898609,"id":"Q5898609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d66b456cd12652f42a5d199de0dd3f01370da6fc","datavalue":{"value":{"amount":"+0.7780408263206482","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":"Q5465861$75B944C9-7A7B-4349-8C7E-4D98E10208C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cd12f37a38e717adc8ed5479fb6d00b3bea6902","datavalue":{"value":{"entity-type":"item","numeric-id":5114831,"id":"Q5114831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fda2a5f8a6e03f60eb51ed3882e8699a658bceab","datavalue":{"value":{"amount":"+0.765616774559021","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":"Q5465861$511677A2-1D3B-4F8B-B37F-4EB5007D2FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fbb1416c792e7d4fae141740a54130ad9f6c01f","datavalue":{"value":{"entity-type":"item","numeric-id":5136306,"id":"Q5136306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"badfe0de561fda7c14db01d6d38d8b26f466b2c6","datavalue":{"value":{"amount":"+0.7612863183021545","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":"Q5465861$6D32F767-8616-4F15-9B75-A04D18D0B7A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science (scientific article; zbMATH DE number 2194287)","badges":[]}}}}}