{"entities":{"Q557413":{"pageid":559180,"ns":120,"title":"Item:Q557413","lastrevid":42580964,"modified":"2025-07-04T08:56:29Z","type":"item","id":"Q557413","labels":{"en":{"language":"en","value":"On algorithms for solving systems of linear Diophantine constraints over the set \\{0,1\\}"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2183725"}},"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":"Q557413$F49B541E-767C-4B8E-B791-B83855ABCE36","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ce37af7ed45be1ecc4e877f5f06c4e69602fe029","datavalue":{"value":{"text":"On algorithms for solving systems of linear Diophantine constraints over the set \\{0,1\\}","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q557413$95BAF20A-1178-4D5F-A8FC-12ABC60AE113","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6637c851a4701e7e2d403b5c2f38246a2929fe49","datavalue":{"value":"1097.65061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557413$81ADB13D-6118-420F-A337-1662B1349DD6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b023419c56b9969f2d98b08637e9b0af86a936b","datavalue":{"value":{"entity-type":"item","numeric-id":199816,"id":"Q199816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557413$5E2251FD-1702-4FE4-A5D7-E6FACBC4A245","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3be35b99bc40d25914143aa31268a19fcdde1b9d","datavalue":{"value":{"time":"+2005-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q557413$1BD8408F-42D3-48A3-865D-001D0B0CA9F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"604ac8781f7a7e53df7c131899440e555403be58","datavalue":{"value":"65F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557413$F85E5A2F-2CFB-4200-B83E-8A8A7F1F56C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67c45964bb1554d8a802bf9a29e50db9b1c5a363","datavalue":{"value":"11Y50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557413$B253045F-52C7-43A5-89D9-30E7D5B0DE4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f31233b552eca4a4ba62dfc962e070217fef4dcf","datavalue":{"value":"11D04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557413$5E1AC4C1-1944-44B8-A9EA-55E6C44DB006","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f711d1921da3c21fd9b82ecd60abd590748b6fa3","datavalue":{"value":"2183725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557413$8EFFC2ED-F44A-4931-9F86-159A5F2D380C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92547f21222746690d4fcfd11099e70aa605287c","datavalue":{"value":"linear constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q557413$3DAAB4FC-2EF3-4E07-9E55-0170D7E8F1F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f1a02331882165ffcbba88d7fd3d1a4caf70063","datavalue":{"value":"basis of a set of solutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q557413$8229D9F8-F322-4FC4-9A6A-F36AAB0D82EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7c7c941ed3bb9acda39a5c60e4b561edcfa7e83","datavalue":{"value":"minimum generating set of solutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q557413$169983D3-09A4-409A-B346-4F1814180CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940cb896d2a66fbb3a26f32752f8329203e8a303","datavalue":{"value":"deadlock","type":"string"},"datatype":"string"},"type":"statement","id":"Q557413$A352D5A1-D69D-4165-A108-E5F41BB558E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24f999b1e490f8bf67312a16cbd76be85a13d31f","datavalue":{"value":"traps of Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q557413$61F17DBF-3476-49EC-AFA5-3A722BBC0050","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"120e3e50e701634c5f67d1b809f1b56410aed24e","datavalue":{"value":{"entity-type":"item","numeric-id":269157,"id":"Q269157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557413$DCBDEEC7-05CA-4292-82D4-0D3123D72925","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":"Q557413$9F49E7FB-A185-4AD8-A50E-584BFE547D82","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f929533a7b70fe73d668737959714700347ba448","datavalue":{"value":"https://doi.org/10.1023/b:casa.0000012088.53339.a7","type":"string"},"datatype":"url"},"type":"statement","id":"Q557413$B967E543-8A23-4FB5-B4CB-137F91B219C7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fb6c6815d33f3269199de90fab3047abe7fcac63","datavalue":{"value":"W2043038356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557413$0874D515-BF31-4E6D-AE1F-064FAE80FCB5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e067d123398d9efd56444f7f169167cc42282e18","datavalue":{"value":"10.1023/B:CASA.0000012088.53339.A7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557413$06ACA137-9383-4E70-BCA4-BEE2301CE3B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:557413","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:557413"}}}}}