{"entities":{"Q5055739":{"pageid":7085316,"ns":120,"title":"Item:Q5055739","lastrevid":47785789,"modified":"2026-01-02T16:49:58Z","type":"item","id":"Q5055739","labels":{"en":{"language":"en","value":"Fair termination is decidable for ground systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631134"}},"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":"Q5055739$50BAA697-F2C9-4E6A-BDBE-DE1CAF71A0FE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7af9c65663c541c74d254e36a5543482fc641ba8","datavalue":{"value":{"text":"Fair termination is decidable for ground systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055739$511C8BAB-761F-401F-9706-D2196F877725","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e0b59d9b0cbb07bdaca65e0fd59f4daaa60c210e","datavalue":{"value":"1503.68160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055739$7C792CDB-7779-4148-991A-1C497E597852","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"831d911ab55f8449600dabe098eb0a3d742967ab","datavalue":{"value":"10.1007/3-540-51081-8_126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055739$9736ABE2-D6B3-47D8-A197-4412F30BD0F9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4580600c65d33f1ab219084d83b64440a1c4781d","datavalue":{"value":{"entity-type":"item","numeric-id":3522004,"id":"Q3522004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055739$C373078C-145A-4701-A41B-8585FDFAC337","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11447fc0ad9bdb1f5ac45f1763d7f4fd1b0676df","datavalue":{"value":{"time":"+2022-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5055739$E75F8D6A-139C-481B-B02D-7924702E303B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055739$01A819B3-CF9D-4891-B067-8987DC160451","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d6309e131a1f2939b2826c26465b1df00c878db","datavalue":{"value":"7631134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055739$2049B089-73C9-4757-BFA4-56EEAC66D24E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9725319a4d69c8b0f9e016d856caaf201d29cbe5","datavalue":{"value":{"entity-type":"item","numeric-id":462480,"id":"Q462480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055739$2CAC045F-5B5E-46CD-BF31-2B8250DEFACB","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":"Q5055739$FF06E0BF-CE50-4D50-A23C-91B772EEFD6F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a94ab556c0477d0ac038b36cb008919dc7feb598","datavalue":{"value":"https://doi.org/10.1007/3-540-51081-8_126","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055739$3C8A97EB-CB6D-40E3-B32D-73410A3AC057","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1b5b8a4dcc312af993f0f7d86be526d031e76d4b","datavalue":{"value":"W1546249478","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055739$00C1CDA3-A82E-44A8-8A2B-821A61212CE4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ae9f2e8b71d939ae0323423011a38c781ecf5c0","datavalue":{"value":{"entity-type":"item","numeric-id":5556444,"id":"Q5556444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055739$64C3E2CC-B41F-4CF7-9863-D7F35638A510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efbc318032cec747535bd0c6935dca630a9056d4","datavalue":{"value":{"entity-type":"item","numeric-id":918215,"id":"Q918215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055739$F4192741-CF6F-4273-B519-CB9D5B0D7C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef24932abd74e01a026e2e349f03bfd5726d23f7","datavalue":{"value":{"entity-type":"item","numeric-id":4102764,"id":"Q4102764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055739$48AE1745-9A64-4DE3-AB67-7FB46B7488D3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edcc7c43640ea2adbb8190b115c646dd196a1be2","datavalue":{"value":{"entity-type":"item","numeric-id":3696524,"id":"Q3696524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb11dae883449f2b650ffb6ceaa494c6e71ec715","datavalue":{"value":{"amount":"+0.8085678219795227","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":"Q5055739$9911B8FE-2879-4FA4-AF45-B881F9277BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a725b6a2c8eb1af8742bf241c2640dde44596361","datavalue":{"value":{"entity-type":"item","numeric-id":1111384,"id":"Q1111384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46fd72e826a1fc41551e3df66a268671dd3f29b8","datavalue":{"value":{"amount":"+0.7880505919456482","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":"Q5055739$1E279BB2-C2EA-437B-8B31-896A79A1D044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01c607d270dfcf1b0c607b94116fe89f4e7e520e","datavalue":{"value":{"entity-type":"item","numeric-id":5387839,"id":"Q5387839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29fa8476183ca0505c3de6e3ec307da7af7525dd","datavalue":{"value":{"amount":"+0.77395099401474","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":"Q5055739$2A4A8562-1D37-44DA-B4C9-EFC7A15AD195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92c1eb3039dab44bae3da241ef77a51f630ba4c5","datavalue":{"value":{"entity-type":"item","numeric-id":924727,"id":"Q924727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5fb3ed3dd62e2f5d04e6eb3ae2b22ea5c6599f4","datavalue":{"value":{"amount":"+0.7657186388969421","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":"Q5055739$AD9C326D-8D20-4E0E-A595-A9506C6A2800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ad017216361ca1ab9b4f98a6a58af0c589e6b82","datavalue":{"value":{"entity-type":"item","numeric-id":795499,"id":"Q795499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7847ffaf0739d3ee298d568318d32a17ea619492","datavalue":{"value":{"amount":"+0.7623482942581177","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":"Q5055739$9BC8F371-CA4A-47E2-9F0E-E4954E36B1C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5055739","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5055739"}}}}}