{"entities":{"Q3587259":{"pageid":5617163,"ns":120,"title":"Item:Q3587259","lastrevid":51072551,"modified":"2026-01-16T12:32:01Z","type":"item","id":"Q3587259","labels":{"en":{"language":"en","value":"Temporal verification of reactive systems: response"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5780221"}},"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":"Q3587259$D125CB15-AB17-40A5-A764-36A33549BC3C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"25fe0d2771df0fdb62b892e1fc12e617653ff444","datavalue":{"value":{"text":"Temporal Verification of Reactive Systems: Response","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3587259$B9C5D4E4-4C40-4A50-8415-C9AB7D4A7E9A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d8659cf6789f6b7368d48488c316d04290d601b8","datavalue":{"value":"1288.68169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3587259$85D88ABC-FD43-4E97-A9FE-FBBBB5D2FAC7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0db79f24643930d2b9923192411d974e4a825e06","datavalue":{"value":"10.1007/978-3-642-13754-9_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3587259$4E1ACC18-9DF8-4D17-AE16-7FE9336FB167","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"136a3bf1f009deb2a6a9913d5ea0e7ae90a03274","datavalue":{"value":{"entity-type":"item","numeric-id":582279,"id":"Q582279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3587259$AA961C04-7B95-4C07-862B-EDA0F047CCB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f609d14c1727f970ab5a0ef43992b4a7d4a23fcd","datavalue":{"value":{"entity-type":"item","numeric-id":208770,"id":"Q208770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3587259$86D34343-B03A-4B66-BFFC-8F8CBAC9927B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ccd4b437bbc052b3973b4df5248f3638ad1a61c6","datavalue":{"value":{"entity-type":"item","numeric-id":3587248,"id":"Q3587248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3587259$9EFC4851-061D-4BD4-8D72-4DAB1DC0C5EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2243fd9e92593f5db7a6acc36a5542d36cbb6fd7","datavalue":{"value":{"time":"+2010-09-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3587259$5381CB53-6C8F-4AD0-A6B7-9FA7025C1E33","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3587259$C18497E6-A4FF-4E48-B255-17EFE1A87FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3587259$2C8E2BF9-CE42-41C5-A1F4-94F797AACC4C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46cc6e280705024e978a67306b1f588e35de1a08","datavalue":{"value":"5780221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3587259$D3D8B7BB-C1ED-480D-82FC-F87DE73DF377","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":"Q3587259$D5DF9C3C-B5BC-4323-A9C8-1ED0B149860E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6a83a5a8a412cadf80b192ba4434e3e9abb42795","datavalue":{"value":"https://doi.org/10.1007/978-3-642-13754-9_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3587259$01082ED0-D2E4-4DBA-B875-ED299532F194","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"841acef0002aac3b75eb38c641d179d3b33d4dfe","datavalue":{"value":"W1606403830","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3587259$FCA13E30-3B21-4BB9-9FED-46DD1F06B695","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0e88955d91680e6d765da8c1b8b08c87afc0248","datavalue":{"value":{"entity-type":"item","numeric-id":3746875,"id":"Q3746875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1137e737a31e2921e3ebe76241f60b88b4cf9e06","datavalue":{"value":{"amount":"+0.795731782913208","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":"Q3587259$B48B8E31-F252-4809-95FE-97BBF6BD7324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"024cbed37b7fde1e1dac412cf215393e649fe204","datavalue":{"value":{"entity-type":"item","numeric-id":1407321,"id":"Q1407321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6bf96f0d13881e260cbdbc31b1eb3ad9424dfe4","datavalue":{"value":{"amount":"+0.7837204933166504","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":"Q3587259$3EF02E7E-DA54-417E-A473-840A3A32942F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5994139c9380b8f49568f90b62efb4dc285c425d","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ce82b2fb8ae9c853446d01370cb62bb9db49fa2","datavalue":{"value":{"amount":"+0.7618017792701721","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":"Q3587259$0FCD01A2-079D-48A2-9F18-9BDFCEB6E648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f569c47bb27b61486a42a57b852c4a00df9c395","datavalue":{"value":{"entity-type":"item","numeric-id":4028357,"id":"Q4028357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ce82b2fb8ae9c853446d01370cb62bb9db49fa2","datavalue":{"value":{"amount":"+0.7618017792701721","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":"Q3587259$10A72EAB-45B7-4631-8198-D36D5D1C6112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b17f0ba7b077b303fc84a00df3777974c472bd09","datavalue":{"value":{"entity-type":"item","numeric-id":1395897,"id":"Q1395897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e78fdb8bc01927b94e4cab586535462e599edbde","datavalue":{"value":{"amount":"+0.7563927173614502","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":"Q3587259$735C5BE4-977F-46D1-A546-E3E1B0AA42CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3587259","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3587259"}}}}}