{"entities":{"Q4635594":{"pageid":6665175,"ns":120,"title":"Item:Q4635594","lastrevid":40698951,"modified":"2025-04-04T09:52:18Z","type":"item","id":"Q4635594","labels":{"en":{"language":"en","value":"Weight monitoring with linear temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863069"}},"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":"Q4635594$218EC6F3-D6AE-481C-A051-2613BBFE3C6A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"53aaa99e2b7c320771e67216f44783b1e201dfdb","datavalue":{"value":{"text":"Weight monitoring with linear temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635594$18117370-5641-405F-9108-6B6E2D35BA15","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d7b6758f125727265dced4727156a102c545215b","datavalue":{"value":"1401.68182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635594$A8AD1982-BCD9-4233-9D20-999177B6CAEB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6a7b657813466916704011c9e47a7784582eb13f","datavalue":{"value":"10.1145/2603088.2603162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635594$48A7F918-6610-42F1-BEFB-03B2876AB21F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"25777c84de0bec6686a1c05a5e686b2e7021d4cd","datavalue":{"value":{"entity-type":"item","numeric-id":860861,"id":"Q860861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635594$79E66268-9F83-4E24-BA13-BF70FE459004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed2781b53a0a8b46d604dc9c062a87a23780da56","datavalue":{"value":{"entity-type":"item","numeric-id":967522,"id":"Q967522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635594$1AAB6588-F578-4DB6-B69F-6745222BDD0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4aa83a16123055b405886d7c0117c25f0bc02b78","datavalue":{"value":{"entity-type":"item","numeric-id":3303933,"id":"Q3303933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635594$83451F1A-2DCC-4280-8A1C-F1C9297D4320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"46e921d835845969ea465c2330db5171d968f1ff","datavalue":{"value":{"entity-type":"item","numeric-id":436314,"id":"Q436314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635594$C1D9396B-68E4-47F2-B063-07E88BB0BBEB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6572bdac0e197f580103bb5e9b289936a884acc4","datavalue":{"value":{"entity-type":"item","numeric-id":4635585,"id":"Q4635585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635594$B94D292C-FEBE-4586-AF18-B12DD11594A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635594$AB3C8916-A3A9-419E-84C9-20892DFC5652","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635594$365D4065-70BE-4A58-937B-2881039F671E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635594$3A3FF731-5516-49D9-8455-48A80B536000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635594$92369C27-D444-4BA2-B084-D43021672821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635594$CE0019BD-AA96-4841-96F2-D9294C49D69F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8dc7cd448c3d876d802aab86302f5569cc1f364","datavalue":{"value":"6863069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635594$ADAC7AFC-228B-4ADF-B99F-697FBE45F842","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85a839a7ba93b7be8ef2a01122562abb5ca55aa9","datavalue":{"value":"LTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635594$3D2075BC-3927-4804-BA81-4690EB84E646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e59745bfd7cc15db2f1ab22df8c508e5dd14111","datavalue":{"value":"MDP","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635594$63E22F48-655A-48C6-9353-C1E4C9F7C90B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"397d9252ef89819a92633d8502b4000f6e56c083","datavalue":{"value":"Markov chain","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635594$4C5D0C01-1F49-41FD-AB75-F60C56086E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4999c779f6e0cad2990da0faf6a8972241a27aa","datavalue":{"value":"accumulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635594$BAA0BBB1-134E-4D3D-96DC-4C7166836DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8fe1ec072eddb82e8c6723b370c91fea5db0efe","datavalue":{"value":"finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635594$854C4C80-4A0C-4702-BF3C-7F0FB4A72979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635594$47D9F349-6AF1-43DE-BCAD-E4466F8EDC84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cd115b14e79fa30654b00aae451c1c0e5ac9b1f","datavalue":{"value":"monitor","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635594$CB6D703B-32CE-45FA-81DA-E54545244343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e2bca54041ff1444bb3f47776aa4340d11314ac","datavalue":{"value":"rewards","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635594$1853E02F-7C52-4159-BA8C-C9DE4BEEB07C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9408546ecb33d5fe54dbb1dbe82b7a513b60f62","datavalue":{"value":"transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635594$6FA9072E-7336-4A86-A7E4-A2C82BFAC73C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1297719a0eac635aca790d07cd8c57d846d37f1f","datavalue":{"value":"weights","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635594$7D6EE0FE-3972-4104-9CC0-169051EA7501","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":"Q4635594$6331495B-E1A4-4042-BC8B-5E0B91427EA0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"61ec977f966a1d8a408f5a928f2853dd71b351a9","datavalue":{"value":"https://doi.org/10.1145/2603088.2603162","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635594$96BAA482-D812-4F24-A871-02A5E76A9DC1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0b782550c6872ad68d6bd001810c42069bdc5999","datavalue":{"value":"W2044782476","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635594$5B2316C3-5F1C-4A13-AB3C-525A4A761784","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a7fff2a62fcc9d0f2ee1cb733e6f49d6e56fd5ab","datavalue":{"value":"Q130860127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635594$3C77D4A2-CAB6-4003-A65C-C3B05921C039","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c10608f6dd9342c6338bcfc5f8eb848a2d5986d","datavalue":{"value":{"entity-type":"item","numeric-id":2891448,"id":"Q2891448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccbda76ecbd6ff2593ca86ed39388c888aaa9839","datavalue":{"value":{"amount":"+0.8576894","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635594$822D2E8E-F120-4BC9-829B-E692E3291D36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c19bc80134745b1843dbeee966ff87d377074aa7","datavalue":{"value":{"entity-type":"item","numeric-id":2947171,"id":"Q2947171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf5a65083b1ac6f2a3d9f091842685b09d4382fb","datavalue":{"value":{"amount":"+0.8509185","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635594$7D369997-30CF-4634-A063-767222FC894E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d2050444750b3d8ae0d2e87a14f87f9e7710cff","datavalue":{"value":{"entity-type":"item","numeric-id":3637244,"id":"Q3637244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96d657f8d917710406e6399a12dbdf2a7c7e64f8","datavalue":{"value":{"amount":"+0.8508812","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635594$21A61E5A-3C93-4F45-8A53-026EDCBE582A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb4bdc92bbc8c210e435e8d978907a62574ba3f7","datavalue":{"value":{"entity-type":"item","numeric-id":5015275,"id":"Q5015275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"902869254c6b7a1227a956011c0ace88cf9596d2","datavalue":{"value":{"amount":"+0.8490082","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635594$462B0FF7-1615-4F25-B325-9FDA62C64619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f9a0b3414298f778e3fe308573d8d1283747002","datavalue":{"value":{"entity-type":"item","numeric-id":5896950,"id":"Q5896950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c44fac1b9e786197b928c6fc7d28eb5818ee3ec","datavalue":{"value":{"amount":"+0.8456839","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635594$FF536E9D-05DC-4855-82F3-105713A8C309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b622d28cdc99702e9c59a8c5757277fab5f3b7a","datavalue":{"value":{"entity-type":"item","numeric-id":5376664,"id":"Q5376664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f3e61c72d1a04255e0aa55bf992653d5eca965d","datavalue":{"value":{"amount":"+0.8391876","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635594$37F4D83A-4198-4BCD-8610-84FE071F79BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efa90602de353a772a5d244c5485d5cea145d8ca","datavalue":{"value":{"entity-type":"item","numeric-id":5464753,"id":"Q5464753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c5ff138da2a204ccf244d8981e869e1a22386ab","datavalue":{"value":{"amount":"+0.8390174","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635594$EC2F3268-E14F-4C31-8EDF-801A8D1F90DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a9367608fbc8fe3b14fe05c5a777bb73aac45ab","datavalue":{"value":{"entity-type":"item","numeric-id":2917301,"id":"Q2917301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aee532cdd25403937a8f61341faae5e74b1c94d0","datavalue":{"value":{"amount":"+0.83823085","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635594$42D4322B-3F26-450E-850E-C8DC3D381C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"035e64cf299879aff7eec486ea3218c559c8a139","datavalue":{"value":{"entity-type":"item","numeric-id":2970258,"id":"Q2970258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aee532cdd25403937a8f61341faae5e74b1c94d0","datavalue":{"value":{"amount":"+0.83823085","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635594$B0B59F6F-E4DD-4DB1-8BC2-9B5EA362389F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635594","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635594"}}}}}