{"entities":{"Q2377376":{"pageid":2388119,"ns":120,"title":"Item:Q2377376","lastrevid":51761927,"modified":"2026-01-19T21:43:13Z","type":"item","id":"Q2377376","labels":{"en":{"language":"en","value":"Using logic to solve the submodule construction problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6182661"}},"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":"Q2377376$BD167CD8-07F1-46DD-8135-8697E2BFD499","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"01bcd0bd89fe0829b8894282809e5b10e1ec3511","datavalue":{"value":{"text":"Using logic to solve the submodule construction problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2377376$2731FB10-0C1C-44A4-8291-01B33382F6AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7cfb032c0769f5ea96112207f836542d3534b995","datavalue":{"value":"1266.93095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2377376$1281A3A8-E05A-4D1F-ADB1-78A777E292C1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0f7c04b6b94cf13c193d472c226068c28e7c8f04","datavalue":{"value":{"entity-type":"item","numeric-id":169421,"id":"Q169421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377376$06551396-3B97-4304-AB38-FE21A59FA199","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3abb5fb4ae7972a30f51c8d6a09a9ae6d81d017","datavalue":{"value":{"time":"+2013-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2377376$E27E4E77-5239-4696-9ED4-7F1372C40313","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2377376$CF47C478-3182-4737-8107-E4EF92819AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10e7ae4f3272e1b3be03ffc40fe137c122ddd99d","datavalue":{"value":"93B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2377376$4A8DFB42-3A20-4336-8BDF-A2F783A77924","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"48891f1d995b2125550b0bdfdd580cfa1f300d67","datavalue":{"value":"6182661","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2377376$D33F7166-A7E7-4C39-A44B-4B46A38EACBF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c02c4eb3a6ca2e2dfd4f43d828f84d4874ffa27f","datavalue":{"value":"component design","type":"string"},"datatype":"string"},"type":"statement","id":"Q2377376$534FB2AA-A14E-4DA0-85E6-6BFF64D6F351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43e2b65dda135fb496855f598efb13cd59d37798","datavalue":{"value":"equation solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2377376$B48A6D71-21B8-4BCF-B492-B7603143004F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2964d33218f4a7ebcc989a9bf151c53febacefe7","datavalue":{"value":"submodule construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2377376$5B78852F-29D3-43CC-AB21-B0C5465892B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da6d59e42d6e1bbdf02c80d83494c7eb88e3be3a","datavalue":{"value":"derivation of component behavior","type":"string"},"datatype":"string"},"type":"statement","id":"Q2377376$18665864-B25E-4CE4-A8F4-D1A46426F09B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce2262facddf8067e8c88e20815c55a0cf2bcf58","datavalue":{"value":"state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q2377376$F913CB95-1F84-4370-8FA0-EFDF7BD4B901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6185950b344a09bbe92b8aa0e7187812c8a418c8","datavalue":{"value":"labeled transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2377376$DF9866C7-A690-463F-98CB-5439A2405C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96d39dea2e4fb085f4f5afffbdead52e508e60cb","datavalue":{"value":"input/output automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2377376$A314C0F8-7330-4EA7-9E10-4AF6BF4D32F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2377376$24E9B62C-A2D1-4478-BDE8-1ACD2088C1B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64b1301f35bf0f17034a90d026fc1ef49a49ceb9","datavalue":{"value":"discrete event control systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2377376$FA315327-0FC5-4735-A370-F8FB9F92E567","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fc9133a22d314c8b19fc72b80095b0ea33899b2","datavalue":{"value":{"entity-type":"item","numeric-id":455929,"id":"Q455929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377376$6F43D69F-086A-4839-8920-3CA376855711","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":"Q2377376$E2FB4F1D-685E-4E3C-9FD9-8B7AE765D788","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ede29b034ad5d2d7297ce40e0c3912eaf38b57d2","datavalue":{"value":"https://doi.org/10.1007/s10626-011-0127-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2377376$6DBF87DB-5E79-42AF-93D2-F47A443358EA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c5cb13ccd0bd2bc25eda5f105f323a98dc011f2b","datavalue":{"value":"W2006792081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2377376$ECF2AA26-24B9-4E30-9646-24E09AF5292D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8243c948ced45a886acbf41866822f114891f2ed","datavalue":{"value":{"entity-type":"item","numeric-id":2481210,"id":"Q2481210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377376$4A6F2E9D-3877-41D7-8035-D8F9DB125A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b09d6e4ac27146ffe86c05dd3dbdb55815fab3ea","datavalue":{"value":{"entity-type":"item","numeric-id":4412566,"id":"Q4412566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377376$22677DA0-F0D9-47E7-990E-28A8CA906E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd0692f942e47afd5124860a88dcbdd3ead77108","datavalue":{"value":{"entity-type":"item","numeric-id":4422062,"id":"Q4422062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377376$DE42389D-C0EA-42D5-BBF4-7257506F3CCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1fa06990c14b68b91f6a9c81557de8c6aee44db","datavalue":{"value":{"entity-type":"item","numeric-id":4297249,"id":"Q4297249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377376$4F6FD9A3-6907-4924-90C0-EDA6A669D78C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bdb7e88d4cb56dbe386cc7e0ba97cc60cb8630c","datavalue":{"value":{"entity-type":"item","numeric-id":3564943,"id":"Q3564943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377376$F2904700-F209-413F-92EA-DB06E82D9CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce88d52e1c8d20863ed9d11158c270942d8c637a","datavalue":{"value":{"entity-type":"item","numeric-id":5479171,"id":"Q5479171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377376$8D8E85DD-9C52-4AA2-B754-78E04A7DB553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377376$B4DDEAB3-B520-4063-8CD9-CA45CEF0273C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76099d3985ce0bd1b9edd9e0509dad34e0187d18","datavalue":{"value":{"entity-type":"item","numeric-id":4332902,"id":"Q4332902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377376$773F9954-E1EC-438F-9C07-42FC36EE8121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd2b76a7a7f6c9d7a7925364c87e6e5477abcfd0","datavalue":{"value":{"entity-type":"item","numeric-id":1361804,"id":"Q1361804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377376$FA29957B-AA26-4DD3-BA02-8241EE89E3E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f4533a245c21db753af232c184081d9b98ae22d","datavalue":{"value":{"entity-type":"item","numeric-id":3833630,"id":"Q3833630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377376$A16ECBA3-7D8B-4923-A48E-F74F60E8CCE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53675075288675fa7342cb7f3aca57c38db7e5cb","datavalue":{"value":{"entity-type":"item","numeric-id":4596624,"id":"Q4596624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377376$082A8D45-0B24-47E5-BB02-6281993D33A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ccc368591937b0e93f76ce0ee9913a83d02dd0c","datavalue":{"value":{"entity-type":"item","numeric-id":3922150,"id":"Q3922150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377376$B3DB4E26-F7FE-459D-AABE-E5BA0FF08682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14d4584907f56a4407554b758acfdbdf1aa46169","datavalue":{"value":{"entity-type":"item","numeric-id":1262748,"id":"Q1262748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377376$040869A6-38CC-453C-8E22-1A41626FF0B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6307d408bcf671f4a99e195011617a5c163f1319","datavalue":{"value":{"entity-type":"item","numeric-id":1176112,"id":"Q1176112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377376$FC7B22E4-8D47-4D1F-BABF-50D8901FDE3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17ac94fab6efa80ac654b74bfe39f0b3c2817295","datavalue":{"value":{"entity-type":"item","numeric-id":1902499,"id":"Q1902499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377376$427E7FA5-7FC8-452A-81B6-2C60785A14C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13dc4b0cfae33aa89beacf393f36328816895198","datavalue":{"value":{"entity-type":"item","numeric-id":1020554,"id":"Q1020554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377376$A3E37C4C-E3B5-4D00-9BD6-30528530401A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"de7fccdf4779c7145fbdd7eaec240398ac1ff5f1","datavalue":{"value":"10.1007/S10626-011-0127-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2377376$FEA46092-9C92-4E80-BDCA-CEA4AB4BBD19","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62c7351c51e5dc6cd411991f110e5d6ab07becfa","datavalue":{"value":{"entity-type":"item","numeric-id":4422062,"id":"Q4422062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c4ccde8b6317eb9251252d7f7da24a49f078724","datavalue":{"value":{"amount":"+0.7912272214889526","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":"Q2377376$101F6ED2-8AF8-455F-A2DC-73C0916061D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71fe1b06d6f200611647d61ab193cc8c4dc9aeb6","datavalue":{"value":{"entity-type":"item","numeric-id":4412566,"id":"Q4412566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee36f4acd8a85544d1d012d87fe205322b487725","datavalue":{"value":{"amount":"+0.783767819404602","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":"Q2377376$6C6DDAF5-7F19-405F-B665-08FDB9B39473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1fbb89d0dd52ba199b9b4822060fb781d539ff4","datavalue":{"value":{"entity-type":"item","numeric-id":4417937,"id":"Q4417937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43c11b2e9753db95f9a9719b1c09bdb0047c6788","datavalue":{"value":{"amount":"+0.7812975645065308","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":"Q2377376$63F54EF9-8E57-4FD8-9409-2646D3A485F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5733b967e05b81be3538173e4c060ffd3320d21e","datavalue":{"value":{"entity-type":"item","numeric-id":3768385,"id":"Q3768385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e6f9499f91536f620839c7ea74a3cd05979aaac","datavalue":{"value":{"amount":"+0.7708765864372253","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":"Q2377376$29693C64-70D5-4C31-A392-E0B2FD05363D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc37f6fb13c9fc48e2903071808ea0ab76cb4937","datavalue":{"value":{"entity-type":"item","numeric-id":5479171,"id":"Q5479171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77ccee6bce837ec675f364041b7ed60ebe1380b7","datavalue":{"value":{"amount":"+0.7630770802497864","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":"Q2377376$A906574A-B580-4F31-9924-3E4AA75B8838","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2377376","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2377376"}}}}}