{"entities":{"Q703515":{"pageid":705364,"ns":120,"title":"Item:Q703515","lastrevid":63744843,"modified":"2026-04-11T15:15:19Z","type":"item","id":"Q703515","labels":{"en":{"language":"en","value":"Linear reachability problems and minimal solutions to linear Diophantine equation systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2126093"}},"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":"Q703515$2786DCBE-9298-4597-AE16-369643CE697B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3ee4f4edd4f9e7c1a84972e4c677fe9cbcf11a48","datavalue":{"value":{"text":"Linear reachability problems and minimal solutions to linear Diophantine equation systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q703515$9CB0282F-EB6D-4B7C-89D2-B08FACB73CF7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"876261ce75e70733a8198782718008a1ace75337","datavalue":{"value":"1071.68055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703515$6840E3EB-61BD-4959-B3DD-FFF32B7CB285","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e36e98bf8e9dc91cedca3b3bd25caedbc19e9656","datavalue":{"value":{"entity-type":"item","numeric-id":703514,"id":"Q703514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703515$BD54BE58-BC29-4FF8-8C39-7C7E16BB2652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a5ef3e3052c4f78d07a762f2f5659bc6aac9fda","datavalue":{"value":{"entity-type":"item","numeric-id":249619,"id":"Q249619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703515$044FC77F-C9F6-40BE-900D-E8D031A26F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"77e44c9d54d0cfc71832e715dc19584237ba4067","datavalue":{"value":{"entity-type":"item","numeric-id":243822,"id":"Q243822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703515$E320F847-393E-47A1-9BB6-51CFDF8033B6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703515$2E6A5F87-4F47-429D-A53C-8A3A799D6C09","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"64fc1bb835ad7d7e19dde657c65db04a5fd1cde0","datavalue":{"value":{"time":"+2005-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q703515$AC7D5C24-9A80-4ABF-9E93-A1C0EFEA807A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703515$BD133AA9-6068-4E29-843B-63E7ABDABDC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f31233b552eca4a4ba62dfc962e070217fef4dcf","datavalue":{"value":"11D04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703515$35A91B1D-BFEA-44C3-825B-ECDEC93B41DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67c45964bb1554d8a802bf9a29e50db9b1c5a363","datavalue":{"value":"11Y50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703515$0DA695CB-5B1A-4A58-9A45-F997A4809DCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703515$9E0D61A1-6724-4B03-A5B7-C612139AEC84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703515$D4988F6E-79D5-4BA6-945E-6F1B8EA5B6F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"89922bd49b799b7b6c7b6dd12e7930434949ac8d","datavalue":{"value":"2126093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703515$64A1D2A8-CD3B-4A53-8FED-6E3490325E4D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc7c3fd3872f7a30fbc4a3c1696a9662468e045b","datavalue":{"value":"Model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q703515$B3195669-BD42-4D06-99D7-D3C371F710EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0710ba12b295bea2e2fc50f1eae9fd9848025d00","datavalue":{"value":"Timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q703515$C9C019CC-68A7-4A48-8EB3-8D9C99966925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75e49008e488d79415f4549cf10d3b60ce2a232d","datavalue":{"value":"Reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q703515$DD10B160-D2CA-4247-A2BB-09A32A9A41B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95ee44617b19e6e91ddf567928a5ceedbe6ffbe9","datavalue":{"value":"Linear Diophantine equation systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q703515$758E0921-4DCE-4645-B985-B0A6CDDFFF3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d79cb2b8e482ef8483c2157a5c1615a163a4c213","datavalue":{"value":"Minimal solutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q703515$B50AA3FC-9A5D-408B-BE3C-D8A87F164B1D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703515$D4FBA180-B393-4A0E-9840-956E7A388DE1","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":"Q703515$84913C89-B11E-41D8-82D9-C5137BFFA980","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2ca2764f5e847ca4d717d0f59707bea22e5e1d9f","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2004.07.015","type":"string"},"datatype":"url"},"type":"statement","id":"Q703515$DD290133-3C96-4693-9B23-11E074447840","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bdb06a7c8b089c4ff960d78efff473be5e5f4416","datavalue":{"value":"W2150468831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703515$6DBD60FF-ED21-4A43-BA82-FAB3A0A86DD9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703515$879C1059-83CC-4509-BF9E-D31CBEB7CE59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be00c63685f57348b9e88ace758aea96980b1481","datavalue":{"value":{"entity-type":"item","numeric-id":4299300,"id":"Q4299300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703515$C8A9A95B-CD92-4E8A-B8DE-B6E3641B49AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e876ff67df10cc936cb792ccdfd3dbe5b282dff","datavalue":{"value":{"entity-type":"item","numeric-id":1074620,"id":"Q1074620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703515$F927714D-7A78-4E94-A9EA-62DD7CE7B447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"007d28020364fa61db482d0ee2e50a45e3976a32","datavalue":{"value":{"entity-type":"item","numeric-id":4041633,"id":"Q4041633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703515$75C4D7F4-5D66-4F44-8799-15061FD7E752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703515$EB056178-C852-4F89-B2CE-36340E3DD9E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acbe5a701cddd7194eb28385f2a16723583b00bd","datavalue":{"value":{"entity-type":"item","numeric-id":4270062,"id":"Q4270062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703515$F062A9A7-CE1C-4A6E-8550-21BE349C86C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a20241696e85f4f1677f8cc6b6c4bec15e7c584","datavalue":{"value":{"entity-type":"item","numeric-id":1401320,"id":"Q1401320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703515$641AF0FE-87F6-402E-BFC6-0BEBF5131652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da955fd986994d622ff42c86830cc6ba9ad32393","datavalue":{"value":{"entity-type":"item","numeric-id":2754074,"id":"Q2754074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703515$3EBB0877-A21C-44DF-87FC-0E8294E7DE2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"344a0d40236936d31f19b3365767d306698725ab","datavalue":{"value":{"entity-type":"item","numeric-id":4474213,"id":"Q4474213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703515$FD684FBC-37FC-44F6-A97B-FCAB65CB8BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2908312967149366f9b7a9673a3e47470f9cc33","datavalue":{"value":{"entity-type":"item","numeric-id":1874402,"id":"Q1874402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703515$48B6722D-9FA7-4BA1-9E01-58ED8A6679CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22721c9f9d7acd782039555457472cd130b8d08f","datavalue":{"value":{"entity-type":"item","numeric-id":4035235,"id":"Q4035235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703515$743C99FC-504A-488F-B4C3-05492E1F5EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703515$37254E9A-62F5-4C7B-B664-DEDF672E156B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe3b950411ee1e7918837695edeb889a33306058","datavalue":{"value":{"entity-type":"item","numeric-id":5452599,"id":"Q5452599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703515$AB5D92A2-14C0-4E9F-A9BE-44366A7C4958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d46d53aaa78e4e1f3286eef514e163c5ea4ffb6","datavalue":{"value":{"entity-type":"item","numeric-id":5534924,"id":"Q5534924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703515$82265C69-D6F8-4C82-9238-AABCB83F5183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22181873dfbb996a0b605daf51c75714bfc3ef9e","datavalue":{"value":{"entity-type":"item","numeric-id":5055757,"id":"Q5055757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703515$199E8296-1FF8-436E-BF16-44DA61168E4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"840c3498537d17d4f80bc9be5196dacc95600a62","datavalue":{"value":{"entity-type":"item","numeric-id":1242682,"id":"Q1242682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703515$5598D4C4-3C14-41EB-8FF9-5CC37534611C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d99bb35ad91961b5664c1bbd3a98dba1443c7d85","datavalue":{"value":"10.1016/J.TCS.2004.07.015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703515$E70B06E0-BBED-4D13-90AF-4566030BCC32","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8a85f828ce2b085a1858014f93e9f92290d4ec7","datavalue":{"value":{"entity-type":"item","numeric-id":3559784,"id":"Q3559784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd133ef93253f92260b50125dc71cf8eb3247501","datavalue":{"value":{"amount":"+0.9341862797737122","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":"Q703515$33CEEE52-9844-4E77-B4F2-F35134DF2ECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42fe322c1d5feae28ff0cc4745c931495950b93b","datavalue":{"value":{"entity-type":"item","numeric-id":5179060,"id":"Q5179060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b8b710fadd30dbbc83c33550b962d8f1918b926","datavalue":{"value":{"amount":"+0.7340983748435974","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":"Q703515$1B8CBF90-8017-4202-B7F4-C289BBECCC42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0bf953bd1753cb3cd947ec5b49765aa61c22bee","datavalue":{"value":{"entity-type":"item","numeric-id":4552463,"id":"Q4552463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ae87aafdd9733527f9b6b98e8ddbace2f321578","datavalue":{"value":{"amount":"+0.7336487174034119","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":"Q703515$97223AE2-BEB0-42D1-AA54-6F8BF12D28A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c102b5e298637d32c2532084f334f8510bd5ee22","datavalue":{"value":{"entity-type":"item","numeric-id":3526543,"id":"Q3526543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc29dc97277b6b2bfd3ee676f93386a51d8d079e","datavalue":{"value":{"amount":"+0.7290311455726624","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":"Q703515$55298A50-879F-41AC-B2FD-4A9755EF61F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4e7ce4f5b5f890eca5877540d64fd26980c5c43","datavalue":{"value":{"entity-type":"item","numeric-id":5056423,"id":"Q5056423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb5525f31ecf99325ce914f5c8cfb334829afef6","datavalue":{"value":{"amount":"+0.7257834076881409","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":"Q703515$30D0C7B4-293E-4BFE-BE07-A5435746502D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Linear reachability problems and minimal solutions to linear Diophantine equation systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Linear_reachability_problems_and_minimal_solutions_to_linear_Diophantine_equation_systems"}}}}}