{"entities":{"Q4633947":{"pageid":6663528,"ns":120,"title":"Item:Q4633947","lastrevid":53415866,"modified":"2026-01-24T22:30:56Z","type":"item","id":"Q4633947","labels":{"en":{"language":"en","value":"Formal methods in computer science"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7051302"}},"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":"Q4633947$62B44CB6-EAED-4FE8-990A-F8BDE323E0A3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e445b886c28173b7ad2c3c38019f38d10f58b63","datavalue":{"value":{"text":"Formal Methods in Computer Science","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4633947$395A7BBA-9206-473C-916C-30CEDA2494A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de6a6377b885a270a663f962962a92ed5b614714","datavalue":{"value":"1436.68002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633947$FF78A013-C2C6-4AD0-ADDB-A5551A357DA7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eb629fdd1521df1978a4f6c856b2dcb2632b59bd","datavalue":{"value":"10.1201/9780429184185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633947$E6DCF4A7-3220-4808-8D34-AC79108DE66E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"40d75e9ab1e5bd83a0a7aac4bb931b51a1fc695b","datavalue":{"value":{"entity-type":"item","numeric-id":636628,"id":"Q636628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633947$B6BE7B64-21F4-4D2D-85E0-144B2683AE44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0d3c52170b71e4017ae3e73124c020171828d62","datavalue":{"value":{"entity-type":"item","numeric-id":4633946,"id":"Q4633946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633947$57DBD9C5-AED3-4D71-95D7-821665C10B5D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1db0470b15cb02bca35522f7f5b759cca535df5c","datavalue":{"value":{"time":"+2019-05-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":"Q4633947$C1B53BAB-C624-4849-88EA-CDA5A3EFC172","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633947$0D7C3CE2-5422-485F-8633-FB3E9EE8009B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633947$10F00DCC-5B8F-4F4C-AFDD-D9F7004995B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633947$04215979-172E-4F56-9436-06FEF1DA573F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633947$6D73DE59-5B8A-4EE1-B812-AEA09CF84183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633947$1C896C53-BBAF-4EBB-9E6B-AE7909FE0871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633947$8FC3F722-CFEB-4C2B-9710-29E8A7BFD40D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3e914ba8bd5313479996fbce7f596fed8648c72f","datavalue":{"value":"7051302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633947$495DBDEB-8876-44A6-B201-3DA101E44F7E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fae05ced63030a229642ca3bdc0f479742289e2d","datavalue":{"value":"finite state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q4633947$226BB929-05FD-4B48-8B95-35917143810A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b30b88dd7d8d4d3a542dd1829bf3206a53951e76","datavalue":{"value":"formal languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4633947$4B2E625A-97BA-440F-9D10-2D6C063D958A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d1f75e8f430718e0f2a1042e291cbf21500b20b","datavalue":{"value":"grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q4633947$29062934-28BD-4FBE-A8F3-49DC973F07EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb8d04c869a7c957a2fb637bf61f6c6b39fe9a39","datavalue":{"value":"regular expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4633947$6ABA23CD-A428-426D-BBAB-3F98B70A6BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4633947$60D004BD-FDA9-4BE2-BA2E-DCFA49E44D38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4633947$4605033B-AB77-449E-9386-1A140F3BC2EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4633947$23023F35-F351-4059-B959-75D2D98FCFB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4633947$9F032DF2-0A29-4558-8A5B-321875B36D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4633947$4376944F-C592-4466-8F47-50E0F73F1384","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":"Q4633947$F608B607-3DD4-4A0C-93AE-7F65EA3C379F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"36a2f1d59b46d98574a56eb6501bcdcbf32dddc0","datavalue":{"value":"https://doi.org/10.1201/9780429184185","type":"string"},"datatype":"url"},"type":"statement","id":"Q4633947$B497040A-EE0A-49F6-B06D-CF3F2B46F596","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a2ce00a807899b35eac83c3a2678d4db84b0c83e","datavalue":{"value":"W2959879502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633947$0CB1BF38-0177-4C11-A415-56B0FF077723","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db385e3ddd77fbcc8e5058c24a82af976c062e3f","datavalue":{"value":{"entity-type":"item","numeric-id":2805273,"id":"Q2805273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80946ea60df0c762f718e58d33218fa2eb634626","datavalue":{"value":{"amount":"+0.8061046600341797","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":"Q4633947$CF2F3B00-0DCE-4107-BE27-392C368E597E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b00d7cb12619e115d772e63ff2a85c77e4e5ecd","datavalue":{"value":{"entity-type":"item","numeric-id":1681379,"id":"Q1681379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7606ab66573dc639c5ed94449b5a84bb1b04158c","datavalue":{"value":{"amount":"+0.7975795865058899","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":"Q4633947$891E136B-C762-4A6B-AA95-45A64504DCE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"271cc4fb04944460391aa740a7a9cacd40669f5c","datavalue":{"value":{"entity-type":"item","numeric-id":5039675,"id":"Q5039675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f2b71b1889f155193555d6a0330c77870338534","datavalue":{"value":{"amount":"+0.79120272397995","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":"Q4633947$019F2E49-1B07-41E4-96D8-AEF9BDEF93C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b0c8b08dc988df55193956a39b297dcdfdbd9a0","datavalue":{"value":{"entity-type":"item","numeric-id":5165474,"id":"Q5165474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42b7d3e6663ea452792b7705c120da1b662f14ce","datavalue":{"value":{"amount":"+0.7907168865203857","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":"Q4633947$3DF1E3FB-DA72-45A9-8666-7AA56396A5F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf51b45a68706375686626f809dd7e6a99ec9ba0","datavalue":{"value":{"entity-type":"item","numeric-id":2740516,"id":"Q2740516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0c16779b56ee6c30febfc0d0336548a914883fd","datavalue":{"value":{"amount":"+0.779229998588562","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":"Q4633947$D7876E64-362F-4FC8-9A0E-65765F00C1E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4633947","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4633947"}}}}}