{"entities":{"Q5901619":{"pageid":8009469,"ns":120,"title":"Item:Q5901619","lastrevid":97696247,"modified":"2026-06-05T15:14:51Z","type":"item","id":"Q5901619","labels":{"en":{"language":"en","value":"Integrated Formal Methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5551748"}},"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":"Q5901619$7E8A0C3F-4B86-4812-B82B-06E40C36ADB6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d74728269e5e1f0a6023587eb4648768bbcfeee","datavalue":{"value":{"text":"Integrated Formal Methods","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5901619$7B258510-6A16-4367-8498-D025BD5F978C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a24953aacb13cde75efee2f44b9bb446a9be5dd","datavalue":{"value":"1196.68128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901619$F0B49927-93CA-454C-B3EE-96FB6C10A817","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c6441b0246ad4eeb0733b413b43956c43705421","datavalue":{"value":{"entity-type":"item","numeric-id":547912,"id":"Q547912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901619$BE663345-F713-4754-98CC-DEBEF252BFFA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901619$03825965-67CB-43F1-B8A5-077AC41F934D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"99ce649c36f33c69e9f26f8f3ed476026a86e4e9","datavalue":{"value":{"time":"+2009-05-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":"Q5901619$5517EB93-3D24-4B1B-B258-6BC211977109","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901619$E65DD22D-E4A5-429E-9ABB-3B388A948F36","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c78362976590d444b93e300e188ced5e28f42a61","datavalue":{"value":"5551748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901619$1C499519-652C-4741-B8B0-8B75172E5424","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"baffbcb9be3f8e7c6da20d339e237a33b3f5cf11","datavalue":{"value":"language integration","type":"string"},"datatype":"string"},"type":"statement","id":"Q5901619$2CF95508-B2E1-4E28-9F15-95DD638F0099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96a78f7060c94e529161b6303b3fb654e1536127","datavalue":{"value":"viewpoints","type":"string"},"datatype":"string"},"type":"statement","id":"Q5901619$7B41DAB6-A5A5-4C90-BC46-923C39CC4207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5685485f4c27abda29cd481c0486a1adb54b3a91","datavalue":{"value":"category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5901619$F4B939D1-E538-47B1-A896-9C1537C79302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5901619$7D57395C-1E84-49E4-9112-53C98C8EAFA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30fafc44265dfa91ca2c1422c4fc2ccc0afa28bf","datavalue":{"value":"Z","type":"string"},"datatype":"string"},"type":"statement","id":"Q5901619$8939B8CD-B282-478E-86C1-816C5F63A56B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5901619$CBED7843-B181-404D-8BF5-DEADE5745CDB","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":"Q5901619$51E5A8F7-55B3-45F3-B97B-964D1AB8FAAD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7a1b0561588b9897b69e8c3c34dd8dab8759eb1b","datavalue":{"value":"https://doi.org/10.1007/b96106","type":"string"},"datatype":"url"},"type":"statement","id":"Q5901619$78F7B366-11C8-4B91-B278-8A0470C62647","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a7834f17505de512196794debbaa63da7abf0e2b","datavalue":{"value":"W1531155000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901619$1C2706CF-8E6C-4ABC-8543-C9EA59B71E22","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d3267ab4ac3fab364d557efcedb8054fe67b3f56","datavalue":{"value":"10.1007/B96106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901619$EF902E53-E377-44D4-AA6B-C1A35DCDBBAC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82ff67678256aa1e63d606d3d0c78e81821b2db5","datavalue":{"value":{"entity-type":"item","numeric-id":4940886,"id":"Q4940886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6ff4f9bb472cd6d552ea5c8e8c720b0554ad87c","datavalue":{"value":{"amount":"+0.87806594","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5901619$927CDBAD-834D-4D3F-B998-74F496AE69F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"118b93c52ec43b9634ec33bc14334efd7c669383","datavalue":{"value":{"entity-type":"item","numeric-id":4266482,"id":"Q4266482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f6500d92af10a3a3819deed085ca2d09a07d7c4","datavalue":{"value":{"amount":"+0.8647913","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5901619$33E50069-82B3-46D4-8628-B5096CBE8E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbfd1b2645684b11ed6d19431d0c0e5180ea8cbb","datavalue":{"value":{"entity-type":"item","numeric-id":4790392,"id":"Q4790392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b45a7fa52fc44c2730930582839ca2a2f1c93b88","datavalue":{"value":{"amount":"+0.85424507","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5901619$23DE5931-C451-4950-9241-B3ECDDD2E726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f450fbcd100be47c4740226c72b7549961277f6","datavalue":{"value":{"entity-type":"item","numeric-id":1428350,"id":"Q1428350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb335f26200acc4aa1fe17f38539900f616649ac","datavalue":{"value":{"amount":"+0.8512937","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5901619$49712059-609A-4A2D-B412-6ED63F201CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f1712032092621edf3f901b1943202a00de7e7f","datavalue":{"value":{"entity-type":"item","numeric-id":4408995,"id":"Q4408995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45e8fcc604a72b54248600e76d3d5400595f7bf1","datavalue":{"value":{"amount":"+0.8489016","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5901619$D6977A72-5AE9-43EF-AAC2-D4D20DFD1CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e11b13bb7e81f76c0a82549de326154c15f0c475","datavalue":{"value":{"entity-type":"item","numeric-id":4790391,"id":"Q4790391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01bba4681554ee98bca3070fd46b76f0003a6c86","datavalue":{"value":{"amount":"+0.8467536","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5901619$6D040B88-86BC-4427-9189-EF92E5A2B335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ba48eae74f88357a41f99b43f26cb90eb6cea5c","datavalue":{"value":{"entity-type":"item","numeric-id":4434251,"id":"Q4434251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b22a861db9348b15222fc444fc89a69f59287505","datavalue":{"value":{"amount":"+0.84656465","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5901619$34E9A115-7386-454C-96D4-9D66620A313F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Integrated Formal Methods (scientific article; zbMATH DE number 5551748)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Integrated_Formal_Methods_(scientific_article;_zbMATH_DE_number_5551748)"}}}}}