{"entities":{"Q2824416":{"pageid":2835154,"ns":120,"title":"Item:Q2824416","lastrevid":83739194,"modified":"2026-05-07T10:34:45Z","type":"item","id":"Q2824416","labels":{"en":{"language":"en","value":"Survey on formal models to reason about infinite data values"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6635012"}},"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":"Q2824416$34B145D6-5C3D-4DAF-A59F-1090F0A986ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"795c16ab69d12b750c953351dd87698d53615cbb","datavalue":{"value":"1363.68093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2824416$B30F820A-1E8D-451E-A578-62D6B4658B29","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7827c426fd62b1155223da4c43f3f5ddccba9caa","datavalue":{"value":{"entity-type":"item","numeric-id":342710,"id":"Q342710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2824416$489B9CC0-2B25-4D12-8C82-BA6D74DBFF61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa5f7394a0cca1cfe5ffc6e0fdd04b8d512ae0ea","datavalue":{"value":{"entity-type":"item","numeric-id":342711,"id":"Q342711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2824416$10C3A794-8F1E-4402-9535-DA8DC4709BFA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"87bcaa8e189a8753515af6bdca71491f1f3b70a3","datavalue":{"value":{"time":"+2016-10-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2824416$BFAA51C1-8906-400D-A185-C764E34E7814","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2824416$4E22E47A-2B6A-4997-B99C-7B1933F17AFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2824416$80A5BF86-4998-43D6-BDB9-D6E1E0D432B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e97b6e7719cf37d81073eb4b514f2e7357190887","datavalue":{"value":"68P01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2824416$5E8B8633-1EC7-4412-ADC5-6BCDCF3E27BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2824416$36A1FE31-3C2F-4320-84FD-0F77A2D633DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"06b556c137fa82b3e3afce88c5f4aea9c00d57aa","datavalue":{"value":"6635012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2824416$3699D046-7B34-47A7-9E9C-2F8A2B1B9CD2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81da045443a4f57502a6cb2c270b82334853e041","datavalue":{"value":"infinite data","type":"string"},"datatype":"string"},"type":"statement","id":"Q2824416$ACB33F97-390B-4640-A883-212C27D3F23A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2824416$41F36504-AC5D-4403-9D87-23ED07CE5049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bbb0c1d4a0dde26226934f7234d049627289106","datavalue":{"value":"logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2824416$A6EB3FB9-9CD7-4983-9C0E-C930F6875447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34d0ef2eb18ae52c04453b5fc69c151b22b7f881","datavalue":{"value":"language inclusion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2824416$FB9173CB-6AA5-4BF0-90B4-0F5BEC5BA7F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2824416$C1BD966B-6B8B-4E7F-9BF9-2012F5515FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2824416$FB78CFDD-A232-4F42-B590-1BE974C3B691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2824416$26C735B1-B9D3-4360-B39B-CF5D45C29628","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":"Q2824416$9A7D028F-DBF2-4481-9D56-1234FE47DA29","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"275e034524a3c43a3ba191e2ee7646d5a78c7a1a","datavalue":{"value":"10.13328/J.CNKI.JOS.004989","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2824416$9EF7C2BD-F5D2-4BF4-AA90-10F138B40DC2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"54130ac67b5efa9c300281270d983f9fa2171c26","datavalue":{"value":{"text":"Survey on formal models to reason about infinite data values","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2824416$9E42BE06-566A-44AF-9951-CE0C3E973127","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2320e40a42f0ae5834c1af04348ee1a7346d528","datavalue":{"value":{"entity-type":"item","numeric-id":117016,"id":"Q117016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2824416$5B125898-DB6D-45C5-8D98-E56DA57B12D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0163fc59cb948036614d3eaba7ae7eaa13434d9","datavalue":{"value":{"entity-type":"item","numeric-id":3613328,"id":"Q3613328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f51819715ed54fcd238311eeb17213fccaa7e75e","datavalue":{"value":{"amount":"+0.7948010563850403","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":"Q2824416$6E54C2E4-DAC3-4B95-B540-C6CE3A661187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58b14c7e30dd7496f385f0155a538d37404997be","datavalue":{"value":{"entity-type":"item","numeric-id":4907869,"id":"Q4907869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"050616ffede95fe0ff370cace0f9ce31cd835ff3","datavalue":{"value":{"amount":"+0.7802858352661133","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":"Q2824416$DC835906-0A99-483F-8015-35B779DD29BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad4870a8992a6a70d8b193be4416caf8932c831e","datavalue":{"value":{"entity-type":"item","numeric-id":4910704,"id":"Q4910704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68c397a741558eb37237166203370cef99a16b98","datavalue":{"value":{"amount":"+0.7583968043327332","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":"Q2824416$AA3067B9-90B3-4766-8B83-4103AC9FBC1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8a2f5d4fc3c5cf935c8834cc3c02a173c07b156","datavalue":{"value":{"entity-type":"item","numeric-id":4779173,"id":"Q4779173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eaec8851e5b898d2217290758b6f3fa8f7bf0d4","datavalue":{"value":{"amount":"+0.7313086986541748","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":"Q2824416$39DE58C3-9937-4D17-AEBE-3A4BEFF81A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa57439de5d1b18585323970a68461d1c7b2f597","datavalue":{"value":{"entity-type":"item","numeric-id":3172381,"id":"Q3172381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d5ce1d48721d1d8421accd6c6272af31b3d2493","datavalue":{"value":{"amount":"+0.7289044857025146","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":"Q2824416$C58B077A-B9E0-4F82-A085-67F58F0FFA84","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Survey on formal models to reason about infinite data values","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Survey_on_formal_models_to_reason_about_infinite_data_values"}}}}}