{"entities":{"Q4186233":{"pageid":6215834,"ns":120,"title":"Item:Q4186233","lastrevid":36945725,"modified":"2024-07-30T07:46:55Z","type":"item","id":"Q4186233","labels":{"en":{"language":"en","value":"Optimal Test Generation in Combinational Networks by Pseudo-Boolean Programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3623458"}},"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":"Q4186233$1D90E6D5-A4B3-4563-8463-8234ED6ACD89","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"97858093d000d600738de629a1844af6e5e29b6b","datavalue":{"value":{"text":"Optimal Test Generation in Combinational Networks by Pseudo-Boolean Programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4186233$B8F69E1C-E666-4FF9-AE60-0BCE585B36DF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"440bde2c536324feb70259cba9d07d98fa35bbba","datavalue":{"value":"0401.94036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4186233$F90DFB96-2BFA-47DB-90EA-A115F52D7C5C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"66f54d2951322d6520ddf1e79ed472889e46ece7","datavalue":{"value":"10.1109/TC.1977.1674880","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4186233$98C4B2DE-4D92-414C-AE81-7605123D587E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"574840a14a74e133aa17fc244cc33e873980fcfd","datavalue":{"value":{"entity-type":"item","numeric-id":1236491,"id":"Q1236491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4186233$7A3DFF74-9D25-4160-A87E-E85D5D08EB40","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb95ba1181f89055fe808aa2c36bea9d3930d0fc","datavalue":{"value":{"entity-type":"item","numeric-id":80442,"id":"Q80442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4186233$DFD1C05B-0E5A-47D4-96E6-352A1F299078","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a49472451190faf858f564fafd4bcba399999753","datavalue":{"value":{"time":"+1977-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4186233$BC2BFC75-7963-451B-85F1-73D6CE6571D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4186233$CB10EE3D-0A5B-4532-8EE6-8E1A9DA487A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4186233$CB7CF23A-A5C4-491B-ADC0-4A20ED2CAE0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6958ea3363ca9244e0da0201efd237a8410f9a0c","datavalue":{"value":"90C09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4186233$35C67A8A-C987-4CE2-96DB-E18CDA5C810F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b650896cfcdf80bda30153bba54fb102046ca37c","datavalue":{"value":"3623458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4186233$A40EC4C1-038E-4589-9E4C-23DF82921434","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1022220a58b1b77a9f9359066d70f59bd556459","datavalue":{"value":"Test Generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4186233$AFFA40F7-F8C9-4F1B-885E-F7137668936B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4eb20a62e74ad821262746656e5624ffe2e79c9b","datavalue":{"value":"Combinational Networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q4186233$379CF8AD-0A93-4E6D-B6D6-74433F9A4CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23c9e7244d45a68afc5d3d871f5ce3b2ee20c1df","datavalue":{"value":"Pseudoboolean Programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4186233$35CD16BF-0D8D-4762-8F82-38E56314981C","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":"Q4186233$2F5A69F6-02FE-419D-A729-CFEF0101BC24","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"40e4ab81c0459633c6bfb8ab5084cb2e25da8678","datavalue":{"value":"https://doi.org/10.1109/tc.1977.1674880","type":"string"},"datatype":"url"},"type":"statement","id":"Q4186233$D0C5E7F8-4943-4D50-B8C6-2F48918E4E2D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b7993786c8b8a886298645479979f36ff29a44bb","datavalue":{"value":"W2017331280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4186233$5D47A8B5-1BF9-46A2-9871-DDFAFA1F1EB9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4186233","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4186233"}}}}}