{"entities":{"Q1125437":{"pageid":1136186,"ns":120,"title":"Item:Q1125437","lastrevid":42896012,"modified":"2025-07-15T19:52:07Z","type":"item","id":"Q1125437","labels":{"en":{"language":"en","value":"Investigating the integration of two formal methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1375210"}},"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":"Q1125437$D35A1518-B5EA-4EFC-AA8E-C4DCDC4CC7C5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"166f034d0fe56e3fc1109119f04cc7f520582a9c","datavalue":{"value":{"text":"Investigating the integration of two formal methods","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1125437$B1FEF796-D96D-43F3-BD09-4EA60FA616FE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e79fa6e0b2cd41b49c63250ad947701289745e0b","datavalue":{"value":"0941.68565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125437$A981F718-4128-4381-B242-46641FA597DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"75a8079e6341141bc8fe82eb0f445637ba50712e","datavalue":{"value":{"entity-type":"item","numeric-id":1125434,"id":"Q1125434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1125437$50770695-CD9D-4E06-BFA5-68C05B5758DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c6a64f305aacbe8ca9aba43ed7c88a8eeb539e7","datavalue":{"value":{"entity-type":"item","numeric-id":1125435,"id":"Q1125435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1125437$D38D040E-C595-4C44-94C8-16EBBC39CF54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f883de37ec81ed28035a51bb528e53b47cb8674c","datavalue":{"value":{"entity-type":"item","numeric-id":1125436,"id":"Q1125436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1125437$D8E0CC68-F140-46E3-AD92-CCC6D90F3931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e68a352a839ddf5efd0728fd0f8c251cb684af4f","datavalue":{"value":{"entity-type":"item","numeric-id":2432232,"id":"Q2432232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1125437$049C9443-4CBA-4A8A-AB25-F5BDFCCA8CD9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1125437$D3452178-EB99-4A11-B7C4-098D47C91D35","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5bfa12347d4716af416e8493dcfe0d9b94cba5","datavalue":{"value":{"time":"+2000-02-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1125437$CF371622-A6D8-455C-8BF6-E642BCFB17A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125437$930CFA58-7A93-4FC2-91C7-E34164BA49DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"61f2eaad902e625032214fa598ea9a0efff3bcc5","datavalue":{"value":"1375210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125437$0D6D573B-4C24-4E9E-829A-EA9621197DF4","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"41f1e673b3119c819de6d5e36743c5955d0f1096","datavalue":{"value":"Q59100835","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125437$05F618C9-B3B0-4C94-A3BB-C4828D9BF39E","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":"Q1125437$22F0BD88-A582-43F0-A9DF-C57DB8185998","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bdc9b3a35c0a7c934d410919325c7c610e77fc5c","datavalue":{"value":"https://doi.org/10.1007/s001650050031","type":"string"},"datatype":"url"},"type":"statement","id":"Q1125437$FF1E4F5C-EAAB-4E06-94AA-EC602F5138BC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e06f0e72d1efdf35058bbc5a0d24faf266e90e45","datavalue":{"value":"W2009170733","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125437$72C146BD-E651-4203-A553-3C629DA4F727","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0397fd95100b973dc324eb0facefa2356d097da0","datavalue":{"value":"10.1007/S001650050031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125437$D545D72D-4A22-47C6-A886-F355D7737EAD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1125437","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1125437"}}}}}