{"entities":{"Q6487332":{"pageid":14066101,"ns":120,"title":"Item:Q6487332","lastrevid":57576318,"modified":"2026-03-31T11:27:37Z","type":"item","id":"Q6487332","labels":{"en":{"language":"en","value":"FORQ-Based Language Inclusion Formal Testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7628142"}},"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":"Q6487332$E44EBE5F-7856-4432-938F-7AE64E724BC8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"233abbf37c7f31382c7b970fbc57dd6d7b05c252","datavalue":{"value":{"text":"FORQ-Based Language Inclusion Formal Testing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6487332$DDEA4B86-28B2-4A7A-8444-C5FEFC8C665C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"58ee8525021f8cf9a68eb887d91eaa1acd54bd1e","datavalue":{"value":"1514.68098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487332$F1ECF0C2-CCF9-47F6-BEFD-D92E70169416","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8705f3744db4acc0e9d40a86b636492fe028b652","datavalue":{"value":"10.1007/978-3-031-13188-2_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487332$15DD8F52-52C3-408E-BB0E-E49E7A82FF96","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c84477c62efef1e4ed4af1e5a8dadd34068e3bb4","datavalue":{"value":{"entity-type":"item","numeric-id":6134249,"id":"Q6134249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487332$7B7265D5-3813-4D19-9234-26DEC34D58DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32615fc5fb5dd13879921120a1ebbaef0bfe0d44","datavalue":{"value":{"entity-type":"item","numeric-id":453530,"id":"Q453530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487332$027EE6E6-FF32-4238-B3AD-39C440D3817D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9402c576d6928e11e18aec7313e2c3f75f248efe","datavalue":{"value":{"entity-type":"item","numeric-id":1622975,"id":"Q1622975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487332$6E074823-67FF-4622-A424-458B4562F361","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db8b1b210f5d78274958848712ad4088833e6550","datavalue":{"value":{"time":"+2022-12-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":"Q6487332$1AC25069-B181-4F86-9FF7-B5CF228AB2EC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487332$5B78C6A8-2399-402A-BB6A-EA14028E65BF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea53e42b2bd8148ee4f8d420003b7f8346029e7d","datavalue":{"value":"7628142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487332$DBA30447-E909-4883-AAF9-20930A884936","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":"Q6487332$12F422C7-CC39-405A-AAE4-F2CD87551D7C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"40d4f2997f353d79c2d76bddb910ea609a89913c","datavalue":{"value":{"entity-type":"item","numeric-id":6487332,"id":"Q6487332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487332$D1F85BFF-5742-4E67-9F88-3D16000FA694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3be44c7d48e67ec2737b6b9719ee682ab48e239d","datavalue":{"value":{"entity-type":"item","numeric-id":3090830,"id":"Q3090830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487332$FD02481C-C1D3-499B-8F4A-6E179CF5218C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e877d651f4fe65fef78836ab9984f4a797d2b7f","datavalue":{"value":{"entity-type":"item","numeric-id":4603446,"id":"Q4603446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487332$7B62E084-DC89-43EA-8077-7A77F6DFA7F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c501d1a13bcdd6d815089b290484e1bfbc13abe4","datavalue":{"value":{"entity-type":"item","numeric-id":4625701,"id":"Q4625701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487332$7E50F651-4904-4449-9C36-36353EA8BE43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4642bcb7c915521a77293757841128c7fd74d05f","datavalue":{"value":{"entity-type":"item","numeric-id":5756729,"id":"Q5756729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487332$2B418920-88AF-487E-91D3-CFD14BF54B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bdc7f39839fa37e0c28899c61d954fc0bdb2e8f","datavalue":{"value":{"entity-type":"item","numeric-id":6134251,"id":"Q6134251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487332$CD5EEC21-422D-4531-A7B5-34CF6DBE1B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73d81dfdda8dbc31e15b5299845514d0933f0719","datavalue":{"value":{"entity-type":"item","numeric-id":3623017,"id":"Q3623017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487332$5148D7A9-53D6-4CEE-8505-25901B9847E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"115ef96bf99331e3ed47d04557a5b1c7b96446bf","datavalue":{"value":{"entity-type":"item","numeric-id":6487335,"id":"Q6487335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487332$B2A5FAF3-D0D7-4013-8582-8740DF158162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e75cfb2ab625e62feb4087fd15200cab4e676b83","datavalue":{"value":{"entity-type":"item","numeric-id":3557078,"id":"Q3557078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487332$547C5BE3-BBA1-4502-8587-322922C9FDFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b589b2604d41b1fb4658ec3bc2bd964a2398acec","datavalue":{"value":{"entity-type":"item","numeric-id":5158653,"id":"Q5158653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487332$6CF0E06A-35A9-4929-8CAB-A68465D92407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cf8ea12d1e69e05ede2847dfd13710b72a03c3d","datavalue":{"value":{"entity-type":"item","numeric-id":2051763,"id":"Q2051763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487332$80C569C5-AEFD-4A60-850C-FFABCE464A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6870b9b1aaa5ca396a1278977423a6c167f4ae4d","datavalue":{"value":{"entity-type":"item","numeric-id":6488469,"id":"Q6488469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487332$81484E1F-8366-4AD9-89EC-C5030F2F0A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"830be22a6e3b7250ff86f56fa3d9f66fedf932f3","datavalue":{"value":{"entity-type":"item","numeric-id":1338899,"id":"Q1338899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487332$5FD6C1E9-3CE4-41C7-8A27-AC6811DCDDE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73c30fe84fde0ba7a86f719a82d56613572133f1","datavalue":{"value":{"entity-type":"item","numeric-id":4281561,"id":"Q4281561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487332$1E3898D9-C2F7-4D9F-A5CB-E7254C62F3EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f941a902bffea90343b48b0a1332386973403c0","datavalue":{"value":{"entity-type":"item","numeric-id":1391139,"id":"Q1391139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487332$0A7E13F4-D09F-4A4E-B4F6-B9C695FB1A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22776ab6df6d965eee7a85c38c01c6d8ff808663","datavalue":{"value":{"entity-type":"item","numeric-id":5426071,"id":"Q5426071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487332$93811AC7-535C-4EF3-BF6D-CD18D4BB22AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a8a49cd67f1ad4db14533d74c1558f2dac49bc8","datavalue":{"value":{"entity-type":"item","numeric-id":2938766,"id":"Q2938766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487332$CD5E786B-2CAB-46D1-854D-043CB81BACA1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4094bd9a14dcd454aff9cb34cb43d35b4c6e1c3","datavalue":{"value":{"entity-type":"item","numeric-id":3090830,"id":"Q3090830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66fb675a19f563a74edfa060ca838a03f77cddd0","datavalue":{"value":{"amount":"+0.8108910918235779","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":"Q6487332$F7C069B4-0B7E-4B9A-91D1-91B5BC52F3DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d97292f64e26b882aceb12aab016c7d7523de9f","datavalue":{"value":{"entity-type":"item","numeric-id":5056350,"id":"Q5056350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"299a4ce7ceeb08381b8a82f7842c4b2465982f1e","datavalue":{"value":{"amount":"+0.7807149887084961","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":"Q6487332$24CB099B-16E4-4E04-8EBE-0BBD80771449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e05c0e041b92c4c38eeae7e276356625cdb82bbe","datavalue":{"value":{"entity-type":"item","numeric-id":4910474,"id":"Q4910474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3676bdcbd7dc84faaecf4aaaef6cc9739c71a12","datavalue":{"value":{"amount":"+0.7744361162185669","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":"Q6487332$A8315120-E6DE-47DC-A6E8-2C3710F08269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51aaeff978074e76c40939bbc3830663b4767d5d","datavalue":{"value":{"entity-type":"item","numeric-id":4625701,"id":"Q4625701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d3246e4d487e8caa52fd7b9b4270d68c4f16c54","datavalue":{"value":{"amount":"+0.7695015072822571","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":"Q6487332$7C86BA43-4FD4-4B96-8694-2C5F448C8CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"027b1caf5829e722c95788c8cb112cbe6f47d831","datavalue":{"value":{"entity-type":"item","numeric-id":5758127,"id":"Q5758127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45ebf82fca3f2afc60af75e9568b78b65bf60abc","datavalue":{"value":{"amount":"+0.7394234538078308","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":"Q6487332$4BC8AEF0-2A8D-4A31-9CF5-56D9F1CDE272","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487332$F1A8BA54-2074-410D-9E5A-83A28A9E1F03","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6487332","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6487332"}}}}}